Formtted the problem definition