How do you solve 13 >= 9 + h ?