Use brute force first to enumerate all pairs (a, b) such that a $ \in$ A and b $ \in$ B.