SAT solving an algebraic equation🏹⚡️#mathtricks#youtubeshorts