1.10/2.92	unsat
