9.47/11.73	unsat
