solve 12 tan(a) = 5/cos(b), 10 tan(b) = 5/cos(a), 0 < a<pi/2, 0 < b<pi/2