7.07/10.69	unsat
