1.39/2.92	unsat
