solve([abs(2x-y+3)=6,abs(x)+abs(y-1)=a],[x,y])