9.57/11.91	unsat
