Adding problems from SEERC 2013