Random Linear Equations Questions For Sat