1.29/6.92	unsat
