loading SCIP...
25 15203 true
7 9 14 15 18 21 27 29 31 33 37 41 52 54 55 56 58 62 75 80 88 92 95 96 98