7.92/9.98	unsat
