A modern state-of-the-art SLS-based SAT solver