1.20/2.48	unsat
