icpc2012 in dart