6.07/9.77	unsat
