Linear SAT