1.19/2.92	unsat
