9.57/12.09	unsat
