1.19/2.48	unsat
