Mint t=2;{wt(6(t**rd_int()+t**rd_int()-4));}