Vinci to the power

#include <stdio.h>
#include <math.h>

int main()
{
    int a;
    scanf("%d",&a);
    long long res;
    if(a<13)
    {
		res =pow(2,a);
        printf("%I64d\n",res);
    }
    else
	{
		res = 8092*pow(2,a-13);
		printf("%I64d\n",res);
	}
    return 0;
}