- speed solving up a bit by not removing learnt rules if rules get