add picosat_print() for verbosirt >= 2