#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
struct st {
int r, c, num;
};
int n, m; //세로 가로
int mp[8][8];
int mp2[8][8] = {0};
vector<st> v;
void up(int r, int c, int p = 1) {
for(int i = r; i >= 0; i--) {
if(mp[i][c] == 6)
break;
mp2[i][c] += p;
}
}
void down(int r, int c, int p = 1) {
for(int i = r; i < n; i++) {
if(mp[i][c] == 6)
break;
mp2[i][c] += p;
}
}
void right(int r, int c, int p = 1) {
for(int i = c; i < m; i++) {
if(mp[r][i] == 6)
break;
mp2[r][i] += p;
}
}
void left(int r, int c, int p = 1) {
for(int i = c; i >= 0; i--) {
if(mp[r][i] == 6)
break;
mp2[r][i] += p;
}
}
int check() {
int result = 0;
for(int i = 0; i < n; i++) {
for(int j = 0; j < m; j++) {
if(mp2[i][j] == 0)
result++;
}
}
return result;
}
int func(int i) {
cout << v.size() << endl;
if(i == v.size())
return check();
int mn = 1e9;
switch(v[i].num) {
case 1:
up(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c);
mn = min(mn, func(i+1));
down(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
left(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c);
mn = min(mn, func(i+1));
right(v[i].r, v[i].c, -1);
break;
case 2:
up(v[i].r, v[i].c);
down(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
left(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c, -1);
break;
case 3:
up(v[i].r, v[i].c);
right(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c, -1);
up(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c);
right(v[i].r, v[i].c);
mn = min(mn, func(i+1));
down(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
down(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c, -1);
break;
case 4:
right(v[i].r, v[i].c);
down(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
right(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c, -1);
up(v[i].r, v[i].c);
down(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c, -1);
up(v[i].r, v[i].c);
right(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c, -1);
up(v[i].r, v[i].c);
right(v[i].r, v[i].c);
down(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c, -1);
break;
case 5:
up(v[i].r, v[i].c);
right(v[i].r, v[i].c);
down(v[i].r, v[i].c);
left(v[i].r, v[i].c);
mn = min(mn, func(i+1));
up(v[i].r, v[i].c, -1);
right(v[i].r, v[i].c, -1);
down(v[i].r, v[i].c, -1);
left(v[i].r, v[i].c, -1);
break;
}
return mn;
}
int main() {
cin >> n >> m;
for(int i = 0; i < n; i++) {
for(int j = 0; j < m; j++) {
cin >> mp[i][j];
if(mp[i][j] > 0) {
mp2[i][j]++;
v.push_back({i, j, mp[i][j]});
}
}
}
sort(v.begin(), v.end(), [](const st& l, const st& r) -> bool { return l.num > r.num; });
cout << func(0);
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8YWxnb3JpdGhtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKc3RydWN0IHN0IHsKICAgIGludCByLCBjLCBudW07Cn07CgppbnQgbiwgbTsgLy/shLjroZwg6rCA66GcCmludCBtcFs4XVs4XTsKaW50IG1wMls4XVs4XSA9IHswfTsKdmVjdG9yPHN0PiB2OwoKdm9pZCB1cChpbnQgciwgaW50IGMsIGludCBwID0gMSkgewogICAgZm9yKGludCBpID0gcjsgaSA+PSAwOyBpLS0pIHsKICAgICAgICBpZihtcFtpXVtjXSA9PSA2KQogICAgICAgICAgICBicmVhazsKICAgICAgICBtcDJbaV1bY10gKz0gcDsKICAgIH0KfQoKdm9pZCBkb3duKGludCByLCBpbnQgYywgaW50IHAgPSAxKSB7CiAgICBmb3IoaW50IGkgPSByOyBpIDwgbjsgaSsrKSB7CiAgICAgICAgaWYobXBbaV1bY10gPT0gNikKICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgbXAyW2ldW2NdICs9IHA7CiAgICB9Cn0KCnZvaWQgcmlnaHQoaW50IHIsIGludCBjLCBpbnQgcCA9IDEpIHsKICAgIGZvcihpbnQgaSA9IGM7IGkgPCBtOyBpKyspIHsKICAgICAgICBpZihtcFtyXVtpXSA9PSA2KQogICAgICAgICAgICBicmVhazsKICAgICAgICBtcDJbcl1baV0gKz0gcDsKICAgIH0KfQoKdm9pZCBsZWZ0KGludCByLCBpbnQgYywgaW50IHAgPSAxKSB7CiAgICBmb3IoaW50IGkgPSBjOyBpID49IDA7IGktLSkgewogICAgICAgIGlmKG1wW3JdW2ldID09IDYpCiAgICAgICAgICAgIGJyZWFrOwogICAgICAgIG1wMltyXVtpXSArPSBwOwogICAgfQp9CgppbnQgY2hlY2soKSB7CiAgICBpbnQgcmVzdWx0ID0gMDsKICAgIGZvcihpbnQgaSA9IDA7IGkgPCBuOyBpKyspIHsKICAgICAgICBmb3IoaW50IGogPSAwOyBqIDwgbTsgaisrKSB7CiAgICAgICAgICAgIGlmKG1wMltpXVtqXSA9PSAwKQogICAgICAgICAgICAgICAgcmVzdWx0Kys7CiAgICAgICAgfQogICAgfQogICAgcmV0dXJuIHJlc3VsdDsKfQoKaW50IGZ1bmMoaW50IGkpIHsKICAgIGNvdXQgPDwgdi5zaXplKCkgPDwgZW5kbDsKICAgIGlmKGkgPT0gdi5zaXplKCkpCiAgICAgICAgcmV0dXJuIGNoZWNrKCk7CiAgICAKICAgIGludCBtbiA9IDFlOTsKICAgIHN3aXRjaCh2W2ldLm51bSkgewogICAgY2FzZSAxOgogICAgICAgIHVwKHZbaV0uciwgdltpXS5jKTsKICAgICAgICBtbiA9IG1pbihtbiwgZnVuYyhpKzEpKTsKICAgICAgICB1cCh2W2ldLnIsIHZbaV0uYywgLTEpOwoKICAgICAgICBkb3duKHZbaV0uciwgdltpXS5jKTsKICAgICAgICBtbiA9IG1pbihtbiwgZnVuYyhpKzEpKTsKICAgICAgICBkb3duKHZbaV0uciwgdltpXS5jLCAtMSk7CgogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMsIC0xKTsKCiAgICAgICAgcmlnaHQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIHJpZ2h0KHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgCiAgICAgICAgYnJlYWs7CiAgICBjYXNlIDI6CiAgICAgICAgdXAodltpXS5yLCB2W2ldLmMpOwogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIHVwKHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgZG93bih2W2ldLnIsIHZbaV0uYywgLTEpOyAgICAgICAKICAgICAgICAKICAgICAgICByaWdodCh2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgbGVmdCh2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgbW4gPSBtaW4obW4sIGZ1bmMoaSsxKSk7CiAgICAgICAgbGVmdCh2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIHJpZ2h0KHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgYnJlYWs7CiAgICBjYXNlIDM6CiAgICAgICAgdXAodltpXS5yLCB2W2ldLmMpOwogICAgICAgIHJpZ2h0KHZbaV0uciwgdltpXS5jKTsKICAgICAgICBtbiA9IG1pbihtbiwgZnVuYyhpKzEpKTsKICAgICAgICB1cCh2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIHJpZ2h0KHZbaV0uciwgdltpXS5jLCAtMSk7CgogICAgICAgIHVwKHZbaV0uciwgdltpXS5jKTsKICAgICAgICBsZWZ0KHZbaV0uciwgdltpXS5jKTsKICAgICAgICBtbiA9IG1pbihtbiwgZnVuYyhpKzEpKTsKICAgICAgICB1cCh2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICAKICAgICAgICBkb3duKHZbaV0uciwgdltpXS5jKTsKICAgICAgICByaWdodCh2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgbW4gPSBtaW4obW4sIGZ1bmMoaSsxKSk7CiAgICAgICAgZG93bih2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIHJpZ2h0KHZbaV0uciwgdltpXS5jLCAtMSk7CgogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICBsZWZ0KHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgCiAgICAgICAgYnJlYWs7CiAgICBjYXNlIDQ6CiAgICAgICAgcmlnaHQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIHJpZ2h0KHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgZG93bih2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMsIC0xKTsKCiAgICAgICAgdXAodltpXS5yLCB2W2ldLmMpOwogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIHVwKHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgZG93bih2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICAKICAgICAgICB1cCh2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgcmlnaHQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIHVwKHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgcmlnaHQodltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICBsZWZ0KHZbaV0uciwgdltpXS5jLCAtMSk7CgogICAgICAgIHVwKHZbaV0uciwgdltpXS5jKTsKICAgICAgICByaWdodCh2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgZG93bih2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgbW4gPSBtaW4obW4sIGZ1bmMoaSsxKSk7CiAgICAgICAgdXAodltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICByaWdodCh2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICAKICAgICAgICBicmVhazsKICAgIGNhc2UgNToKICAgICAgICB1cCh2W2ldLnIsIHZbaV0uYyk7CiAgICAgICAgcmlnaHQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIGRvd24odltpXS5yLCB2W2ldLmMpOwogICAgICAgIGxlZnQodltpXS5yLCB2W2ldLmMpOwogICAgICAgIG1uID0gbWluKG1uLCBmdW5jKGkrMSkpOwogICAgICAgIHVwKHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgcmlnaHQodltpXS5yLCB2W2ldLmMsIC0xKTsKICAgICAgICBkb3duKHZbaV0uciwgdltpXS5jLCAtMSk7CiAgICAgICAgbGVmdCh2W2ldLnIsIHZbaV0uYywgLTEpOwogICAgICAgIGJyZWFrOyAKICAgIH0gCiAgICByZXR1cm4gbW47Cn0KCmludCBtYWluKCkgewogICAgY2luID4+IG4gPj4gbTsKICAgIGZvcihpbnQgaSA9IDA7IGkgPCBuOyBpKyspIHsKICAgICAgICBmb3IoaW50IGogPSAwOyBqIDwgbTsgaisrKSB7CiAgICAgICAgICAgIGNpbiA+PiBtcFtpXVtqXTsKICAgICAgCiAgICAgICAgICAgIGlmKG1wW2ldW2pdID4gMCkgewogICAgICAgICAgICAgICAgbXAyW2ldW2pdKys7CiAgICAgICAgICAgICAgICB2LnB1c2hfYmFjayh7aSwgaiwgbXBbaV1bal19KTsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgIH0KICAgIHNvcnQodi5iZWdpbigpLCB2LmVuZCgpLCBbXShjb25zdCBzdCYgbCwgY29uc3Qgc3QmIHIpIC0+IGJvb2wgeyByZXR1cm4gbC5udW0gPiByLm51bTsgfSk7CiAgICAKICAgIGNvdXQgPDwgZnVuYygwKTsKICAgIAogICAgcmV0dXJuIDA7Cn0=