Solving seems to work, albeit a little slow