292 in the House and 67 in the Senate to override Obamas certain veto.
Then you replace the conditional cut-off of funds, with an appropriation bill that simply defunds the offending cities. (Similar to the Cruz approach to Obamacare, which the whipped cur Republicans refused to back.)