Consider the hat problem, with n=10. What is the expected value of X3X6X7?