loading SCIP...
27 13891 true
4 6 9 14 15 18 19 20 22 26 29 32 35 37 49 55 56 57 63 64 65 66 71 87 88 90 95