10.61/10.73	unsat
