Fix resolver's estimation function and resolver's strategy:

- Prefer resolving root dependencies first
- Drop obviously unresolvable states

So at this point solver runs in 13.8s on my machine on the biggest test.

20s -> 13.8s -- 30% speed up.