updated problem specification