Mind over SAT