Learning about the SAT from @Jockinyofresh