How do you solve #13 >= 9 + h #?