10.47/10.73	unsat
