.SAT question

 From:  neo
3023.3 In reply to 3023.2 
tricky Indeed

thanks for your reply I did have some problems importing .sat in moi but when saved as V7 instead of v19 (latest) they come in fine...