loading SCIP...
11 35797 true
1 28 29 44 57 60 62 65 67 71 99