7.88/9.93	unsat
