ACM problems solved since July 13, 2013.