#include <stdio.h>

int main() {
    int result = 2 * (5 + 3) / 4;
    
    printf("Result: %d\n", result);
    
    return 0;
}