antigate: catch AntiGateError in method 'solve'