Title: A study of the value of formal analysis in problem solving