SAT Dreams