9.57/9.69	unsat
