6.69/9.98	unsat
