A semidefinite programming approach to cross 2-intersecting families | Synapse