First attempt (not working)
fixed solver to always try simpler strategies first, solving the issue
where ForcingChainsStrategy was used too early and failed.