Fixed Logicat solver, again again