SAT Solving in der Praxis