A minimalistic and high-performance SAT solver implementing Symmetry Propagation