#include <stdio.h>

int main(int argc, char** argv)
{
   int a;

   a = 10 || 12;

   printf("%d\n", a);
}