$ 0 0 Query planner tuning: Increase the maximum number of simultaneous solutions to track int eh solver from 10 to 12. (tags: trunk)