Made tea_solver an int instead