10.47/12.74	unsat
