#include <stdio.h>
int main()
{
int res=24;
//scanf("%d",res);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbigpCnsKICAgIGludCByZXM9MjQ7CiAgICBwcmludGYoIkhlbGxvLCBXb3JsZCFcbiIpOwovL3NjYW5mKCIlZCIscmVzKTsKcHJpbnRmKCJyZXM9ICVkIFxuIixyZXMpOwpwcmludGYoInJlcz0gJWRcbiAiLHJlcysyMyk7CiAgICByZXR1cm4gMDsKfQo=