7.87/9.92	unsat
