problem 3 of  ICCAD 2012