Fixing Logicat solver
Version 5.1.3