#include <stdio.h>
#define OK()  printf("@OK@\n")
#define NG(fmt,val)  printf("@NG@ (test = " fmt ")\n",val)

int main (void)
{
	unsigned int x104 = 6U;
	unsigned int t27 = 1U;
	
	t27 = (((unsigned int)0U-(x104/(int)6))/(unsigned int)5U);
	
	if (t27 == 858993459U) { OK(); } else { NG("%u", t27); }
	
	return 0;
}