SAT: part1