private void randomFill()
{
int x;
MWC.setSeed((int)GetCurrentTimeUnix());
for (int i = 0; i < 81; i++)
{
data[i] = '.';
}
for (int i = 0; i < 9; i++)
{
do
{
x = MWC.random() >> 9 & 15;
}while (x > 8);
data[i * 9 + x] = map[i];
}
solver.load(data);
solver.dfs(0);
}
