1.28/2.48	unsat
