题目描述

小歪邀请你一起布置一面集卡墙。这面墙由 $n$ 行 $m$ 列方格组成，共有 $n\times m$ 个方格。 小歪准备了四种矩形卡片，分别写有数字 $0$、$1$、$2$、$4$，每种卡片的数量均不限。每张卡片的大小均为 $7\times3$，如下图所示。 （注意，卡片占据的是包含数字图案在内的整个矩形区域，图中的浅色方格也属于卡片。） 你可以在墙面上放置任意数量的卡片，放置时需要满足： $\hspace{23pt}\bullet\,$每张卡片可以独立旋转 $90^\circ$ 的整数倍，恰好覆盖连续的 $7$ 行 $3$ 列或 $3$ 行 $7$ 列方格，且不能超出墙面边界； $\hspace{23pt}\bullet\,$任意两张卡片都不能重叠或接触，即使只在一个点处接触也不允许。卡片可以接触墙面边界。 布置结束后，小歪会清点墙上的卡片。每选出写有 $1$、$0$、$2$、$4$ 的卡片各一张，就算集齐一套 $1024$，得一分。这四张卡片的位置、排列顺序和朝向均不作要求，每张卡片至多计入一套。 你会想要知道，如果自己做得足够好，能得到多少分……官方中文

输入格式

在一行上输入两个整数 $n,m \left(1 \leqq n,m \leqq 10\,241\,024 \right)$，表示墙面的行数和列数。官方中文

输出格式

输出一个整数，表示最终能得到的最高分。官方中文