Efficient solving by passing some MiniSat flag and print extra statistics