Add an internal strength less than required but greater than the others

This lets us handle degradation of required unsatisfiable constraints gracefully