2.69/2.92	unsat
