1.28/2.40	unsat
