6.47/8.98	unsat
