loading SCIP...
20 24719 true
3 7 15 28 30 36 50 54 55 56 65 75 77 79 82 90 91 92 98 99