Correction: by default SAT value should be 2.
Correction: removing both single quotes from cryptominisat filenames.