#include "printlib.h"

int main() {
  int x, y;
  x = 12;
  y = 5;
  println_int(x*y);
	return 0;
}

// EXPECTED
// 60