11.57/12.89	unsat
