7.88/7.98	unsat
