Using Grubers Complete SAT Guide.