choco solver for DONALD + GERALD = ROBERT