Sat Algebra Problems