loading SCIP...
13 38031 true
3 12 21 26 31 35 37 62 73 80 84 92 99