Added Problem Specification, no changes