loading SCIP...
9 25031 true
6 8 33 47 59 61 67 73 96