loading SCIP...
28 13078 true
1 10 13 14 18 19 21 27 28 39 40 41 46 50 51 53 58 60 61 64 66 70 73 82 86 89 90 92