{{{
#!cplusplus
/*
zoj 1516 DFS
ymc 2008/09/13
题目大意：
n*m的地图上，有k个黑的单元格。两个连续的白色格子(1×2或者2×1)称为有效的。
求最多有能得到多少个有效的格子。
分析与解题思路：
超出地图边界的一圈全部设为黑色(这样不用考虑越界)。
有效的格子不是横着的就是竖着的。所有孤立的白色单元格是无效的。直接设置为黑色。
对每一个白色的单元格，可能有三种情况：
1）成为有效格子的左边一个
2）成为有效格子的上边一个
3）不在任何有效格子中
注意：右边和下边的情况不用考虑，因为上边和左边对应的另外一个格子就是。
用DFS搜索
*/
#include <iostream>
using namespace std;
const int N=102;
bool map[N][N];
int n,m;
int num;
int step[4][2]={{0,1},{1,0},{0,-1},{-1,0}};
int ans;
int Init()
{
    scanf("%d %d",&n,&m);
    if(n==0&&m==0) return 0;
    memset(map,1,sizeof(map));
    for(int i=0;i<=n+1;i++)//边界设置
        map[i][0]=map[i][m+1]=false;
    for(int j=0;j<=m+1;j++)
        map[0][j]=map[n+1][j]=false;
    int x,y;
    scanf("%d",&num);
    for(int i=0;i<num;i++)
    {
        scanf("%d %d",&x,&y);
        map[x][y]=false;
    }
    bool flag;
    for(int i=1;i<=n;i++)//孤立白色单元格直接设置为黑色
        for(int j=1;j<=m;j++)
        {
            if(map[i][j]==false)
                continue;
            flag=false;
            for(int k=0;k<4;k++)
            {
                x=i+step[k][0];
                y=j+step[k][1];
                if(map[x][y]==true)
                {
                    flag=true;
                    break;
                }
            }
            if(flag==false)
            {
                map[x][y]=false;
                num++;
            }
        }
    num=n*m-num;//num为白色单元格个数
    ans=0;
    return 1;
}
void DFS(int d)//寻找第d+1个有效格子,即一级成功找到d个有效格子的情况下，寻找下一个
{
    if(d>ans)
        ans=d;
    if(d+num/2<=ans)//剪枝
        return;
    int x=-1,y;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
        {
            if(map[i][j]&&(map[i+1][j]||map[i][j+1]))
            {
                x=i;
                y=j;
                i=n+1;
                j=m+1;
            }
        }
        if(x==-1)//没有有效格子了
            return;
        if(map[x][y]&&map[x+1][y])//竖着放
        {
            map[x][y]=false;
            map[x+1][y]=false;
            num-=2;
            DFS(d+1);
            num+=2;
            map[x][y]=true;
            map[x+1][y]=true;;
        }
        if(map[x][y]&&map[x][y+1])//横着放
        {
            map[x][y]=false;
            map[x][y+1]=false;
            num-=2;
            DFS(d+1);
            num+=2;
            map[x][y]=true;
            map[x][y+1]=true;;
        }
        map[x][y]=false;//当前的白色单元格不属于任何有效格子
        num--;
        DFS(d);
        map[x][y]=true;
        num++;
}
int main()
{
    while(Init())
    {
        DFS(0);
        printf("%d\n",ans);
    }
}


}}}