SAT algebra formulas