loading SCIP...
42 531 true
1 2 5 8 15 16 17 18 20 21 24 25 26 27 31 32 33 35 41 50 53 55 56 57 58 59 61 63 64 65 66 70 72 77 79 82 87 88 89 96 97 98