8.85/9.69	unsat
