#include int main () { printf ("%d\n", -42 % 94); } // main ()