1.18/2.02	unsat
