1.09/2.48	unsat
