2.71/2.92	unsat
