Problems from ACM ICPC World Finals 2012 Dress Rehearsal