miniKanren solution to send-more-money