Suppose x’s represent solutions and y’s represent problems. S(x, y) means "x is a solution for
problem y". Explain, in English, what each of these statements is saying.