6.37/9.69	unsat
