loading SCIP...
13 35015 true
4 9 14 16 21 26 34 49 62 67 81 89 96