1.90/1.96	unsat
