Revert version bump
Fix solver exn
Bump version again