6.80/9.34	unsat
