A Guide to SATs