11.57/13.05	unsat
