loading SCIP...
22 22625 true
5 14 15 23 26 27 28 29 33 34 35 38 42 50 51 57 61 67 70 75 93 95