Let ABCDABCD be a parallelogram with side lengths AB=aAB = a, AD=1AD = 1, and with BAD=α\angle BAD = \alpha. If ABD\triangle ABD is acute, prove that the four circles of radius 1 with centers A,B,C,DA, B, C, D cover the parallelogram if and only if acosα+3sinα.a \leq \cos \alpha + \sqrt{3} \sin \alpha.