loading SCIP...
12 34766 true
3 17 23 27 33 35 46 58 69 78 92 93