7.37/10.69	unsat
