loading SCIP...
26 15937 true
4 5 10 16 20 22 26 29 30 31 37 41 47 56 59 70 75 78 79 80 81 89 91 95 98 99