7.88/7.96	unsat
