1.08/2.40	unsat
