1.39/2.40	unsat
