#P1833. A=B

A=B

CSP-S xm12-1