9.51/12.93	unsat
