loading SCIP...
10 44922 true
5 23 26 27 50 58 69 88 93 96