loading SCIP...
10 44922 true
14 17 33 48 49 74 75 83 92 97