1.29/2.40	unsat
