loading SCIP...
29 11875 true
4 7 9 18 26 27 29 30 33 34 38 41 43 45 49 50 51 52 53 57 68 71 73 77 87 88 90 91 99