This one was hard to figure out. The problem entailed quite a number of deductions and reductions. I was able to confirm my solution with WolframAlpha.