Overt and covert verbalization in problem solving