loading SCIP...
10 45906 true
5 23 48 57 58 75 81 82 83 89