6.82/10.98	unsat
