1.28/2.52	unsat
