시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 128 MB100111037.037%

문제

당구대 위에 흰색 공과 빨간색 공이 있다. 흰색 공은 쿠션(당구대의 모서리)을 N번 만큼 맞춘 뒤 빨간색 공을 맞춰야 한다. 이때, 흰색 공이 이동한 거리의 최솟값을 구하려고 한다.

쿠션은 입사각과 반사각이 항상 같고, 공의 지름은 무시할 수 있다. 당구대의 꼭짓점을 원점으로 사용하고, 모서리는 항상 축에 평행하다. 만약, 공이 당구대의 구석(꼭짓점)을 맞춘다면, 이것은 쿠션을 2번 맞춘 것으로 친다. 흰색 공은 빨간색 공을 맞추기 전에 쿠션을 반드시 N번 맞춰야 한다.

입력

입력은 여러개의 테스트 케이스로 이루어져 있다. 각 케이스는 일곱개의 정수가 한 줄로 이루어져 있다.

L W CX CY TX TY N

처음 두 정수 L과 W(2 ≤ L,W ≤ 100)는 테이블의 크기이다. 다음 두 X,Y쌍은 흰색 공과 빨간색 공의 (X,Y)좌표이다. 흰색 공의 좌표는 (CX,CY)이고, 빨간색 공의 좌표는 (TX,TY)이다. 또, 0 < CX,TX < L, 0 < CY,TY < W이고, (CX,CY)는 (TX,TY)와 같지 않다. 마지막 정수 N(0 ≤ N ≤ 100)은 빨간 공을 맞추기 전에 맞춰야하는 쿠션의 수다.

테스트 케이스의 마지막은 0 7개가 주어진다.

출력

각 테스트 케이스에 대해 흰색 공이 움직인 거리의 최솟값을 소수점 셋째짜리까지 출력한다. 넷째자리에서 반올림하면 된다.

예제 입력 1

20 15 10 1 12 1 1
10 20 1 2 7 16 2
0 0 0 0 0 0 0

예제 출력 1

2.828
19.698
W3sicHJvYmxlbV9pZCI6IjQxMTAiLCJwcm9ibGVtX2xhbmciOiIwIiwidGl0bGUiOiJcdWIyZjlcdWFkNmNcdWIzMDAiLCJkZXNjcmlwdGlvbiI6IjxwPlxyXG5cdFx1YjJmOVx1YWQ2Y1x1YjMwMCBcdWM3MDRcdWM1ZDAgXHVkNzcwXHVjMGM5IFx1YWNmNVx1YWNmYyBcdWJlNjhcdWFjMDRcdWMwYzkgXHVhY2Y1XHVjNzc0IFx1Yzc4OFx1YjJlNC4gXHVkNzcwXHVjMGM5IFx1YWNmNVx1Yzc0MCBcdWNmZTBcdWMxNTgoXHViMmY5XHVhZDZjXHViMzAwXHVjNzU4IFx1YmFhOFx1YzExY1x1YjlhYylcdWM3NDQgTlx1YmM4OCBcdWI5Y2NcdWQwN2MgXHViOWRlXHVjZDk4IFx1YjRhNCBcdWJlNjhcdWFjMDRcdWMwYzkgXHVhY2Y1XHVjNzQ0IFx1YjlkZVx1Y2RiMFx1YzU3YyBcdWQ1NWNcdWIyZTQuIFx1Yzc3NFx1YjU0YywgXHVkNzcwXHVjMGM5IFx1YWNmNVx1Yzc3NCBcdWM3NzRcdWIzZDlcdWQ1NWMgXHVhYzcwXHViOWFjXHVjNzU4IFx1Y2Q1Y1x1YzE5Zlx1YWMxMlx1Yzc0NCBcdWFkNmNcdWQ1NThcdWI4MjRcdWFjZTAgXHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48cD5cclxuXHQ8aW1nIGFsdD1cIlwiIHNyYz1cIlwvdXBsb2FkXC9pbWFnZXNcL3Bvb2wucG5nXCIgc3R5bGU9XCJ3aWR0aDogNTc2cHg7IGhlaWdodDogMTY1cHg7XCIgXC8+PFwvcD5cclxuXHJcbjxwPlxyXG5cdFx1Y2ZlMFx1YzE1OFx1Yzc0MCBcdWM3ODVcdWMwYWNcdWFjMDFcdWFjZmMgXHViYzE4XHVjMGFjXHVhYzAxXHVjNzc0IFx1ZDU2ZFx1YzBjMSBcdWFjMTlcdWFjZTAsIFx1YWNmNVx1Yzc1OCBcdWM5YzBcdWI5ODRcdWM3NDAgXHViYjM0XHVjMmRjXHVkNTYwIFx1YzIxOCBcdWM3ODhcdWIyZTQuIFx1YjJmOVx1YWQ2Y1x1YjMwMFx1Yzc1OCBcdWFmMmRcdWM5ZDNcdWM4MTBcdWM3NDQgXHVjNmQwXHVjODEwXHVjNzNjXHViODVjIFx1YzBhY1x1YzZhOVx1ZDU1OFx1YWNlMCwgXHViYWE4XHVjMTFjXHViOWFjXHViMjk0IFx1ZDU2ZFx1YzBjMSBcdWNkOTVcdWM1ZDAgXHVkM2M5XHVkNTg5XHVkNTU4XHViMmU0LiBcdWI5Y2NcdWM1N2QsIFx1YWNmNVx1Yzc3NCBcdWIyZjlcdWFkNmNcdWIzMDBcdWM3NTggXHVhZDZjXHVjMTFkKFx1YWYyZFx1YzlkM1x1YzgxMClcdWM3NDQgXHViOWRlXHVjZDk4XHViMmU0XHViYTc0LCBcdWM3NzRcdWFjODNcdWM3NDAgXHVjZmUwXHVjMTU4XHVjNzQ0IDJcdWJjODggXHViOWRlXHVjZDk4IFx1YWM4M1x1YzczY1x1Yjg1YyBcdWNlNWNcdWIyZTQuIFx1ZDc3MFx1YzBjOSBcdWFjZjVcdWM3NDAgXHViZTY4XHVhYzA0XHVjMGM5IFx1YWNmNVx1Yzc0NCBcdWI5ZGVcdWNkOTRcdWFlMzAgXHVjODA0XHVjNWQwIFx1Y2ZlMFx1YzE1OFx1Yzc0NCBcdWJjMThcdWI0ZGNcdWMyZGMgTlx1YmM4OCBcdWI5ZGVcdWNkYjBcdWM1N2MgXHVkNTVjXHViMmU0LjxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHJcblx0XHVjNzg1XHViODI1XHVjNzQwIFx1YzVlY1x1YjdlY1x1YWMxY1x1Yzc1OCBcdWQxNGNcdWMyYTRcdWQyYjggXHVjZjAwXHVjNzc0XHVjMmE0XHViODVjIFx1Yzc3NFx1YjhlOFx1YzViNFx1YzgzOCBcdWM3ODhcdWIyZTQuIFx1YWMwMSBcdWNmMDBcdWM3NzRcdWMyYTRcdWIyOTQgXHVjNzdjXHVhY2YxXHVhYzFjXHVjNzU4IFx1YzgxNVx1YzIxOFx1YWMwMCBcdWQ1NWMgXHVjOTA0XHViODVjIFx1Yzc3NFx1YjhlOFx1YzViNFx1YzgzOCBcdWM3ODhcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlxyXG5cdEwgVyBDWCBDWSBUWCBUWSBOPFwvcD5cclxuXHJcbjxwPlxyXG5cdFx1Y2M5OFx1Yzc0YyBcdWI0NTAgXHVjODE1XHVjMjE4IExcdWFjZmMgVygyICZsZTsgTCxXICZsZTsgMTAwKVx1YjI5NCBcdWQxNGNcdWM3NzRcdWJlMTRcdWM3NTggXHVkMDZjXHVhZTMwXHVjNzc0XHViMmU0LiBcdWIyZTRcdWM3NGMgXHViNDUwIFgsWVx1YzMwZFx1Yzc0MCBcdWQ3NzBcdWMwYzkgXHVhY2Y1XHVhY2ZjIFx1YmU2OFx1YWMwNFx1YzBjOSBcdWFjZjVcdWM3NTggKFgsWSlcdWM4OGNcdWQ0NWNcdWM3NzRcdWIyZTQuIFx1ZDc3MFx1YzBjOSBcdWFjZjVcdWM3NTggXHVjODhjXHVkNDVjXHViMjk0IChDWCxDWSlcdWM3NzRcdWFjZTAsIFx1YmU2OFx1YWMwNFx1YzBjOSBcdWFjZjVcdWM3NTggXHVjODhjXHVkNDVjXHViMjk0IChUWCxUWSlcdWM3NzRcdWIyZTQuIFx1YjYxMCwgMCAmbHQ7IENYLFRYICZsdDsgTCwgMCAmbHQ7IENZLFRZICZsdDsgV1x1Yzc3NFx1YWNlMCwgKENYLENZKVx1YjI5NCAoVFgsVFkpXHVjNjQwIFx1YWMxOVx1YzljMCBcdWM1NGFcdWIyZTQuIFx1YjljOFx1YzljMFx1YjljOSBcdWM4MTVcdWMyMTggTigwICZsZTsgTiAmbGU7IDEwMClcdWM3NDAgXHViZTY4XHVhYzA0IFx1YWNmNVx1Yzc0NCBcdWI5ZGVcdWNkOTRcdWFlMzAgXHVjODA0XHVjNWQwIFx1YjlkZVx1Y2RiMFx1YzU3Y1x1ZDU1OFx1YjI5NCBcdWNmZTBcdWMxNThcdWM3NTggXHVjMjE4XHViMmU0LjxcL3A+XHJcblxyXG48cD5cclxuXHRcdWQxNGNcdWMyYTRcdWQyYjggXHVjZjAwXHVjNzc0XHVjMmE0XHVjNzU4IFx1YjljOFx1YzljMFx1YjljOVx1Yzc0MCAwIDdcdWFjMWNcdWFjMDAgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlxyXG5cdFx1YWMwMSBcdWQxNGNcdWMyYTRcdWQyYjggXHVjZjAwXHVjNzc0XHVjMmE0XHVjNWQwIFx1YjMwMFx1ZDU3NCBcdWQ3NzBcdWMwYzkgXHVhY2Y1XHVjNzc0IFx1YzZjMFx1YzljMVx1Yzc3OCBcdWFjNzBcdWI5YWNcdWM3NTggXHVjZDVjXHVjMTlmXHVhYzEyXHVjNzQ0IFx1YzE4Y1x1YzIxOFx1YzgxMCBcdWMxNGJcdWM5ZjhcdWM5ZGNcdWI5YWNcdWFlNGNcdWM5YzAgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LiBcdWIxMzdcdWM5ZjhcdWM3OTBcdWI5YWNcdWM1ZDBcdWMxMWMgXHViYzE4XHVjNjJjXHViOWJjXHVkNTU4XHViYTc0IFx1YjQxY1x1YjJlNC48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIwIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4ifSx7InByb2JsZW1faWQiOiI0MTEwIiwicHJvYmxlbV9sYW5nIjoiMSIsInRpdGxlIjoiUG9vbCBUYWJsZSIsImRlc2NyaXB0aW9uIjoiPHA+Q29uc2lkZXIgYSBwb29sIHRhYmxlIHdpdGggYSBjdWUgYmFsbCBhbmQgYSB0YXJnZXQgYmFsbC4gVGhlIGN1ZSBiYWxsIG11c3QgYm91bmNlIG9mZiBvZiBhIGNlcnRhaW4gbnVtYmVyIG9mIGN1c2hpb25zIChpLmUuIGVkZ2VzIG9mIHRoZSB0YWJsZSksIGFuZCB0aGVuIGhpdCB0aGUgdGFyZ2V0IGJhbGwuIFdoYXQgaXMgdGhlIG1pbmltdW0gZGlzdGFuY2UgdGhhdCB0aGUgY3VlIGJhbGwgaGFzIHRvIHRyYXZlbD88XC9wPlxyXG5cclxuPHA+PGltZyBhbHQ9XCJcIiBzcmM9XCJcL3VwbG9hZFwvaW1hZ2VzXC9wb29sLnBuZ1wiIHN0eWxlPVwiaGVpZ2h0OjE2NXB4OyB3aWR0aDo1NzZweFwiIFwvPjxcL3A+XHJcblxyXG48cD5Bc3N1bWUgaWRlYWwgY3VzaGlvbnMgKGkuZS4sIGxhd3Mgb2YgcmVmbGVjdGlvbiBhcHBseSksIGFuZCBhIG5lZ2xpZ2libGUgYmFsbCBkaWFtZXRlci4gVGhlIGNvb3JkaW5hdGUgc3lzdGVtIHVzZXMgYSBjb3JuZXIgb2YgdGhlIHRhYmxlIGFzIHRoZSBvcmlnaW4sIGFuZCB0aGUgZWRnZXMgb2YgdGhlIHRhYmxlIGFyZSBhbGlnbmVkIHdpdGggdGhlIGNvb3JkaW5hdGUgYXhlcy4gSWYgdGhlIGN1ZSBiYWxsIGhpdHMgaW4gYSBjb3JuZXIsIGl0IGlzIGNvbnNpZGVyZWQgdG8gYmUgaGl0dGluZyB0d28gY3VzaGlvbnMuIFRoZSBjdWUgYmFsbCBtdXN0IGhpdCBleGFjdGx5IHRoZSBjb3JyZWN0IG51bWJlciBvZiBjdXNoaW9ucyBmaXJzdCwgYmVmb3JlIGhpdHRpbmcgdGhlIHRhcmdldCB0aGUgYmFsbC4mbmJzcDs8XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlRoZXJlIHdpbGwgYmUgbXVsdGlwbGUgdGVzdCBjYXNlcy4gRWFjaCBjYXNlIGlzIG9uIGEgc2luZ2xlIGxpbmUgY29udGFpbmluZyBzZXZlbiBpbnRlZ2Vyczo8XC9wPlxyXG5cclxuPHByZT5MIFcgQ1ggQ1kgVFggVFkgTjxcL3ByZT5cclxuXHJcbjxwPlRoZSBmaXJzdCB0d28gaW50ZWdlcnMsIEwgYW5kIFcgKDIgJmxlOyBMLFcgJmxlOyAxMDApLCBhcmUgdGhlIGRpbWVuc2lvbnMgb2YgdGhlIHRhYmxlLiBUaGUgbmV4dCB0d28gcGFpcnMgb2YgaW50ZWdlcnMgYXJlIHRoZSBjb29yZGluYXRlcyAoWCwgWSkgb2YgdGhlIGN1ZSBhbmQgdGFyZ2V0IGJhbGxzLCBzdWNoIHRoYXQgMCAmbHQ7IENYLFRYICZsdDsgTCwgYW5kIDAgJmx0OyBDWSxUWSAmbHQ7IFcsIGFuZCAoQ1gsQ1kpIGlzIG5vdCB0aGUgc2FtZSBhcyAoVFgsVFkpLiBUaGUgbGFzdCBpbnRlZ2VyIE4sICgwICZsZTsgTiAmbGU7IDEwMCksIGlzIHRoZSBudW1iZXIgb2YgY3VzaGlvbnMgdGhhdCBtdXN0IGJlIGhpdC4gVGhlIHRlc3QgY2FzZXMgd2lsbCBiZSBmb2xsb3dlZCBieSBhIGxpbmUgd2l0aCBzZXZlbiAwXHUyMDFmcy48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5Gb3IgZWFjaCB0ZXN0IGNhc2UsIHByaW50IGEgc2luZ2xlIGRlY2ltYWwgbnVtYmVyLCByb3VuZGVkIChOT1QgdHJ1bmNhdGVkKSB0byAzIGRlY2ltYWwgcGxhY2VzLCByZXByZXNlbnRpbmcgdGhlIHNob3J0ZXN0IGRpc3RhbmNlIHRoZSBjdWUgYmFsbCBtdXN0IHRyYXZlbC4gUHJpbnQgZWFjaCBhbnN3ZXIgb24gaXRzIG93biBsaW5lLCB3aXRoIG5vIGJsYW5rIGxpbmVzIGJldHdlZW4gYW5zd2Vycy48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJFbmdsaXNoIn1d