loading SCIP...
10 43781 true
5 23 35 51 54 58 59 63 85 92