Not them, but I payed 10 dollars to DeepSeek directly to use their Reasonix tool. I worked all weekend and the past few days, billions of tokens, I still have 3 bucks left!