Solver runner and use new words in Main