fixed bad reporting of elapsed time
Helper class to solve SAT instances with MiniSAT (must be installed
separately)