Engineering a (super?) efficient sat solver