Fixing Logicat Solver
Fixing Logicat Solver
Fixed Logicat Solver
Fixed Logicat Solver