New to SAT - a good point to start?