loading SCIP...
13 37984 true
13 21 22 40 44 48 55 59 62 72 73 78 98