Two countries A and B have satellites in orbit. The positions of the satellites is confidential, because it could reveal the interests and strategies of the countries. Therefore, A and B do not want to reveal the positions of the satellites. However, there are situations when satellites are close and can collide. In this case, they will share the positions and will try to adjust their trajectories in order to avoid them to crash. (a) Design a secure 2-party protocol in which the inputs are the expected timed positions of the satellites, and output (x, y, z,t) if they are expected to collide in (x, y, z) in time t, or outputs nothing if they are not going to collide.