loading SCIP...
14 33969 true
8 9 35 37 47 49 55 62 66 67 75 85 90 91