Fixed Logicat Solver