6.99/9.69	unsat
