codeforce 1254