# [Japt], <s>20</s> 18 bytes. *-2 bytes thanks to @Shaggy and @ETHproductions* A³òL² f_=ì)x ¥9«Z× ---- A³òL² f_=ì)x ¥9«Z× Full program A³òL² Range [1000, 10000] f_ Filter by : =ì) Convert to array x ¥9 Sum equal to 9? « And Z× Product not 0 [Try it online!][TIO-jnakzsum] [Japt]: https://github.com/ETHproductions/japt [TIO-jnakzsum]: https://tio.run/##ASMA3P9qYXB0//9BwrPDskzCsiBtcyBmX8KseCDCpTnCqVrDuDD//w "Japt – Try It Online"