6.48/9.98	unsat
