If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E33 box on Canvas.
Exercise 33
Use the Nelson-Oppen procedure to separate theories in the following formula
(a - f(b+c) = 3) ∧ (a - 1 = 0) ∧ (b > 10)