How do you solve 15=17+4cos(x/7)?