Perform solving before assumption