An advanced SAT Solver