SAT proven strategies