proof logging minisat interface prototype