DWITE Contest

Test Case for Question #2 in DWITE 2007-2008 High School Round 1

Contest: DWITE 2007-2008 High School Round 1
Question: #2
Input File: DATA2.txt
Output File: OUT2.txt


Input

4.0
2.0




Output

11