loading SCIP...
13 36031 true
7 11 14 21 27 47 52 58 69 78 80 81 98