 Solution

First computeThe vector $\ell =(1,-2,4{)}^T$ lies in the kernel of $(AB{)}^T$, since ${\ell }^{T}AB=0$. If $ABx=d$ is solvable, multiplying by ${\ell }^T$ gives the necessary compatibility conditionTherefore