0.98/2.40	unsat
