loading SCIP...
9 46828 true
13 19 21 22 23 39 58 92 96