loading SCIP...
25 16828 true
5 8 9 11 12 14 15 16 23 24 26 33 35 47 63 64 65 66 75 78 80 81 91 96 97