1.28/2.02	unsat
