The new SAT: Less vocabulary, more linear equations