#include #include #include int main(void){ printf("28\n"); }