7.88/7.92	unsat
