9.57/12.65	unsat
