loading SCIP...
29 9719 true
1 5 7 8 24 28 31 32 33 35 37 41 44 48 56 59 61 63 65 67 71 73 77 81 82 83 89 92 96