10.51/10.69	unsat
