6.07/7.98	unsat
