7.88/7.93	unsat
