loading SCIP...
25 14328 true
10 16 18 25 27 29 32 33 36 37 39 45 48 70 78 81 83 84 85 87 88 89 90 96 99