Fixed Logicat solver, again