loading SCIP...
29 10860 true
4 6 7 12 15 27 31 38 41 42 45 50 51 52 54 59 60 62 63 66 73 78 81 86 91 92 96 97 99