Fixed creation of WUs names
Fixed solving mode after first assumptions file