Playing around with a Countdown solver