loading SCIP...
27 13922 true
3 4 10 17 22 27 30 31 33 34 35 37 40 43 45 50 53 54 57 58 59 65 67 71 80 87 93