6.67/9.92	unsat
