Fixing Logicat Solver