9.51/12.10	unsat
