Fixing Logicat solver