loading SCIP...
13 37110 true
4 10 17 18 28 30 32 36 41 48 55 82 88