Fixed a couple bugs; don't remember which is was so confusing
There's still at least one bug in finding when we're done solving.