6.69/9.88	unsat
