Commented out return false, now the solver is more safe!