void fill_op_tab(t_env *env)
{
fill_1(env);
fill_2(env);
fill_3(env);
fill_4(env);
fill_5(env);
set_dai(env);
}
void solve(int a, int b, int c)
{
A = a; B = b; C = c;
p = 0;
dfs(0, 0);
if(p) {
for(int i = 0; i < p; i++) switch(path[i]) {
case 1 : fill_1(); break;
case 2 : fill_2(); break;
case 3 : empty_1(); break;
case 4 : empty_2(); break;
case 5 : pour_1_to_2(); break;
case 6 : pour_2_to_1(); break;
} verify();
} else no_solution();
memset(vis, 0, sizeof(vis));
}
