1.58/2.48	unsat
