loading SCIP...
28 12078 true
2 4 12 17 25 26 27 28 29 31 32 36 40 43 44 46 48 51 55 57 59 61 73 74 75 88 91 92