(a+c)(b+d)*2+4-3(a+b+c+d) minimum, abcd=1