A minimalistic and high-performance SAT solver