How do you solve #a - b >= 6#?