9.57/12.74	unsat
