loading SCIP...
31 7812 true
4 6 7 17 29 31 35 37 38 40 46 51 53 57 58 60 61 67 68 71 72 73 75 80 82 84 87 89 90 92 93