Adding problems from SEERC 2012