1.59/2.40	unsat
