1.07/1.97	unsat
