loading SCIP...
13 36812 true
4 11 16 28 30 39 51 53 54 77 83 92 98