add FirstChoiceSolver