9.57/12.10	unsat
