7.68/8.98	unsat
