시간 제한메모리 제한제출정답맞힌 사람정답 비율
2 초 128 MB216593623.077%

문제

홍준이는 월드여행사에서 일을 하고 있다. 그런데 여행사에서 다음과 같은 일을 홍준이에게 시켰다. M명의 남자와 F명의 여자가 있다. 그리고 C쌍의 결혼을 한 커플이 있다. 이러한 사람들을 호텔에 적절히 분배를 시키려 하는데 다음과 같은 조건을 만족시키며 방을 나누어 줘야 한다.

  1. 서로 결혼을 하지 않은 남자와 여자는 같은 방에 들어갈 수 없다.
  2. 결혼을 한 남자와 여자가 방에 들어가 있으면 그 두 사람 이외에 다른 사람은 그 방에 같이 들어가 있을 수 없다.
  3. 그렇다고 결혼을 한 사람들이 반드시 같은 방에 들어가야 한다는 것이 아니다.

이러한 조건이 있을 때, 홍준이가 해야 할 일은 호텔을 예약하는데 필요한 비용을 최소로 하려는 것이다. 홍준이를 도와 남자의 수 m, 여자의 수 f, 그리고 방의 수 r, 결혼을 한 쌍의 수 c가 주어지고 방에 들어갈 수 있는 최대 인원과 비용이 주어져 있을 때 최소비용을 구하는 프로그램을 작성하시오.

입력

첫째 줄에 남자의 수 m(1 ≤ m ≤ 100), 여자의 수 f(1 ≤ f ≤ 100), 방의 수 (1 ≤ r ≤ 100), 그리고 결혼을 한 쌍의 수 c(0 ≤ c ≤ min(m,f))가 공백을 사이에 두고 주어진다. 그리고 두 번째 줄부터 r+1번째 줄까지 방의 정보가 주어지는데 각 줄에는 두 개의 정수 1 ≤ a ≤ 5, 1 ≤ b ≤ 1000이 공백을 사이에 두고 주어진다. a는 번째 방에 들어갈 수 있는 최대인원, b는 번째 방을 얻는데 필요한 비용을 의미한다.

출력

첫째 줄에 방을 빌리는데 필요한 최소비용을 출력한다. 만약에 모든 사람이 방을 빌리는 것이 불가능 할 경우에는 Impossible을 첫째 줄에 대신 출력한다.

예제 입력 1

2 1 3 1
3 5
2 10
2 4

예제 출력 1

9

예제 입력 2

1 1 1 0
1 4

예제 출력 2

Impossible
W3sicHJvYmxlbV9pZCI6IjE5ODIiLCJwcm9ibGVtX2xhbmciOiIwIiwidGl0bGUiOiJcdWQ2MzhcdWQxNTRcdWM2MDhcdWM1N2QiLCJkZXNjcmlwdGlvbiI6IjxwPlx1ZDY0ZFx1YzkwMFx1Yzc3NFx1YjI5NCBcdWM2ZDRcdWI0ZGNcdWM1ZWNcdWQ1ODlcdWMwYWNcdWM1ZDBcdWMxMWMgXHVjNzdjXHVjNzQ0IFx1ZDU1OFx1YWNlMCBcdWM3ODhcdWIyZTQuIFx1YWRmOFx1YjdmMFx1YjM3MCBcdWM1ZWNcdWQ1ODlcdWMwYWNcdWM1ZDBcdWMxMWMgXHViMmU0XHVjNzRjXHVhY2ZjIFx1YWMxOVx1Yzc0MCBcdWM3N2NcdWM3NDQgXHVkNjRkXHVjOTAwXHVjNzc0XHVjNWQwXHVhYzhjIFx1YzJkY1x1Y2YzMFx1YjJlNC4gTVx1YmE4NVx1Yzc1OCBcdWIwYThcdWM3OTBcdWM2NDAgRlx1YmE4NVx1Yzc1OCBcdWM1ZWNcdWM3OTBcdWFjMDAgXHVjNzg4XHViMmU0LiBcdWFkZjhcdWI5YWNcdWFjZTAgQ1x1YzMwZFx1Yzc1OCBcdWFjYjBcdWQ2M2NcdWM3NDQgXHVkNTVjIFx1Y2VlNFx1ZDUwY1x1Yzc3NCBcdWM3ODhcdWIyZTQuIFx1Yzc3NFx1YjdlY1x1ZDU1YyBcdWMwYWNcdWI3OGNcdWI0ZTRcdWM3NDQgXHVkNjM4XHVkMTU0XHVjNWQwIFx1YzgwMVx1YzgwOFx1ZDc4OCBcdWJkODRcdWJjMzBcdWI5N2MgXHVjMmRjXHVkMGE0XHViODI0IFx1ZDU1OFx1YjI5NFx1YjM3MCBcdWIyZTRcdWM3NGNcdWFjZmMgXHVhYzE5XHVjNzQwIFx1Yzg3MFx1YWM3NFx1Yzc0NCBcdWI5Y2NcdWM4NzFcdWMyZGNcdWQwYTRcdWJhNzAgXHViYzI5XHVjNzQ0IFx1YjA5OFx1YjIwNFx1YzViNCBcdWM5MThcdWM1N2MgXHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48b2w+XHJcblx0PGxpPlx1YzExY1x1Yjg1YyBcdWFjYjBcdWQ2M2NcdWM3NDQgXHVkNTU4XHVjOWMwIFx1YzU0YVx1Yzc0MCBcdWIwYThcdWM3OTBcdWM2NDAgXHVjNWVjXHVjNzkwXHViMjk0IFx1YWMxOVx1Yzc0MCBcdWJjMjlcdWM1ZDAgXHViNGU0XHVjNWI0XHVhYzA4IFx1YzIxOCBcdWM1YzZcdWIyZTQuPFwvbGk+XHJcblx0PGxpPlx1YWNiMFx1ZDYzY1x1Yzc0NCBcdWQ1NWMgXHViMGE4XHVjNzkwXHVjNjQwIFx1YzVlY1x1Yzc5MFx1YWMwMCBcdWJjMjlcdWM1ZDAgXHViNGU0XHVjNWI0XHVhYzAwIFx1Yzc4OFx1YzczY1x1YmE3NCBcdWFkZjggXHViNDUwIFx1YzBhY1x1Yjc4YyBcdWM3NzRcdWM2NzhcdWM1ZDAgXHViMmU0XHViOTc4IFx1YzBhY1x1Yjc4Y1x1Yzc0MCBcdWFkZjggXHViYzI5XHVjNWQwIFx1YWMxOVx1Yzc3NCBcdWI0ZTRcdWM1YjRcdWFjMDAgXHVjNzg4XHVjNzQ0IFx1YzIxOCBcdWM1YzZcdWIyZTQuPFwvbGk+XHJcblx0PGxpPlx1YWRmOFx1YjgwN1x1YjJlNFx1YWNlMCBcdWFjYjBcdWQ2M2NcdWM3NDQgXHVkNTVjIFx1YzBhY1x1Yjc4Y1x1YjRlNFx1Yzc3NCBcdWJjMThcdWI0ZGNcdWMyZGMgXHVhYzE5XHVjNzQwIFx1YmMyOVx1YzVkMCBcdWI0ZTRcdWM1YjRcdWFjMDBcdWM1N2MgXHVkNTVjXHViMmU0XHViMjk0IFx1YWM4M1x1Yzc3NCBcdWM1NDRcdWIyYzhcdWIyZTQuPFwvbGk+XHJcbjxcL29sPlxyXG5cclxuPHA+XHVjNzc0XHViN2VjXHVkNTVjIFx1Yzg3MFx1YWM3NFx1Yzc3NCBcdWM3ODhcdWM3NDQgXHViNTRjLCBcdWQ2NGRcdWM5MDBcdWM3NzRcdWFjMDAgXHVkNTc0XHVjNTdjIFx1ZDU2MCBcdWM3N2NcdWM3NDAgXHVkNjM4XHVkMTU0XHVjNzQ0IFx1YzYwOFx1YzU3ZFx1ZDU1OFx1YjI5NFx1YjM3MCBcdWQ1NDRcdWM2OTRcdWQ1NWMgXHViZTQ0XHVjNmE5XHVjNzQ0IFx1Y2Q1Y1x1YzE4Y1x1Yjg1YyBcdWQ1NThcdWI4MjRcdWIyOTQgXHVhYzgzXHVjNzc0XHViMmU0LiBcdWQ2NGRcdWM5MDBcdWM3NzRcdWI5N2MgXHViM2M0XHVjNjQwIFx1YjBhOFx1Yzc5MFx1Yzc1OCBcdWMyMTggbSwgXHVjNWVjXHVjNzkwXHVjNzU4IFx1YzIxOCBmLCBcdWFkZjhcdWI5YWNcdWFjZTAgXHViYzI5XHVjNzU4IFx1YzIxOCByLCBcdWFjYjBcdWQ2M2NcdWM3NDQgXHVkNTVjIFx1YzMwZFx1Yzc1OCBcdWMyMTggY1x1YWMwMCBcdWM4ZmNcdWM1YjRcdWM5YzBcdWFjZTAgXHViYzI5XHVjNWQwIFx1YjRlNFx1YzViNFx1YWMwOCBcdWMyMTggXHVjNzg4XHViMjk0IFx1Y2Q1Y1x1YjMwMCBcdWM3NzhcdWM2ZDBcdWFjZmMgXHViZTQ0XHVjNmE5XHVjNzc0IFx1YzhmY1x1YzViNFx1YzgzOCBcdWM3ODhcdWM3NDQgXHViNTRjIFx1Y2Q1Y1x1YzE4Y1x1YmU0NFx1YzZhOVx1Yzc0NCBcdWFkNmNcdWQ1NThcdWIyOTQgXHVkNTA0XHViODVjXHVhZGY4XHViN2E4XHVjNzQ0IFx1Yzc5MVx1YzEzMVx1ZDU1OFx1YzJkY1x1YzYyNC48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlx1Y2NhYlx1YzlmOCBcdWM5MDRcdWM1ZDAgXHViMGE4XHVjNzkwXHVjNzU4IFx1YzIxOCBtKDEgJmxlOyBtICZsZTsgMTAwKSwgXHVjNWVjXHVjNzkwXHVjNzU4IFx1YzIxOCBmKDEgJmxlOyBmICZsZTsgMTAwKSwgXHViYzI5XHVjNzU4IFx1YzIxOCAoMSAmbGU7IHIgJmxlOyAxMDApLCBcdWFkZjhcdWI5YWNcdWFjZTAgXHVhY2IwXHVkNjNjXHVjNzQ0IFx1ZDU1YyBcdWMzMGRcdWM3NTggXHVjMjE4IGMoMCAmbGU7IGMgJmxlOyBtaW4obSxmKSlcdWFjMDAgXHVhY2Y1XHViYzMxXHVjNzQ0IFx1YzBhY1x1Yzc3NFx1YzVkMCBcdWI0NTBcdWFjZTAgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiBcdWFkZjhcdWI5YWNcdWFjZTAgXHViNDUwIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWJkODBcdWQxMzAgcisxXHViYzg4XHVjOWY4IFx1YzkwNFx1YWU0Y1x1YzljMCBcdWJjMjlcdWM3NTggXHVjODE1XHViY2Y0XHVhYzAwIFx1YzhmY1x1YzViNFx1YzljMFx1YjI5NFx1YjM3MCBcdWFjMDEgXHVjOTA0XHVjNWQwXHViMjk0IFx1YjQ1MCBcdWFjMWNcdWM3NTggXHVjODE1XHVjMjE4IDEgJmxlOyBhICZsZTsgNSwgMSAmbGU7IGIgJmxlOyAxMDAwXHVjNzc0IFx1YWNmNVx1YmMzMVx1Yzc0NCBcdWMwYWNcdWM3NzRcdWM1ZDAgXHViNDUwXHVhY2UwIFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC4gYVx1YjI5NCBcdWJjODhcdWM5ZjggXHViYzI5XHVjNWQwIFx1YjRlNFx1YzViNFx1YWMwOCBcdWMyMTggXHVjNzg4XHViMjk0IFx1Y2Q1Y1x1YjMwMFx1Yzc3OFx1YzZkMCwgYlx1YjI5NCBcdWJjODhcdWM5ZjggXHViYzI5XHVjNzQ0IFx1YzViYlx1YjI5NFx1YjM3MCBcdWQ1NDRcdWM2OTRcdWQ1NWMgXHViZTQ0XHVjNmE5XHVjNzQ0IFx1Yzc1OFx1YmJmOFx1ZDU1Y1x1YjJlNC48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWNjYWJcdWM5ZjggXHVjOTA0XHVjNWQwIFx1YmMyOVx1Yzc0NCBcdWJlNGNcdWI5YWNcdWIyOTRcdWIzNzAgXHVkNTQ0XHVjNjk0XHVkNTVjIFx1Y2Q1Y1x1YzE4Y1x1YmU0NFx1YzZhOVx1Yzc0NCBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuIFx1YjljY1x1YzU3ZFx1YzVkMCBcdWJhYThcdWI0ZTAgXHVjMGFjXHViNzhjXHVjNzc0IFx1YmMyOVx1Yzc0NCBcdWJlNGNcdWI5YWNcdWIyOTQgXHVhYzgzXHVjNzc0IFx1YmQ4OFx1YWMwMFx1YjJhNSBcdWQ1NjAgXHVhY2JkXHVjNmIwXHVjNWQwXHViMjk0IEltcG9zc2libGVcdWM3NDQgXHVjY2FiXHVjOWY4IFx1YzkwNFx1YzVkMCBcdWIzMDBcdWMyZTAgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjAiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IktvcmVhbiJ9LHsicHJvYmxlbV9pZCI6IjE5ODIiLCJwcm9ibGVtX2xhbmciOiIxIiwidGl0bGUiOiJIb3RlbCIsImRlc2NyaXB0aW9uIjoiPHA+WmViZWwsIHRoZSB0b3VyIGNvb3JkaW5hdG9yLCBoYXMgcmVzZXJ2ZWQgYSBsaW1pdGVkIG51bWJlciBvZiBob3RlbCByb29tcyBmb3IgaGlzIGNsaWVudHMuIFJvb21zIGhhdmUgZGlmZmVyZW50IGNhcGFjaXRpZXMgYW5kIG5hdHVyYWxseSwgZGlmZmVyZW50IHByaWNlcy4gWmViZWwgZGVjaWRlcyB0byBmaW5kIHRoZSBsZWFzdCBjb3N0IGFzc2lnbm1lbnQgb2YgdGhlIHRvdXIgcGFydGljaXBhbnRzIHRvIHRoZSBhdmFpbGFibGUgcm9vbXMuIEhpcyBzdHJhdGVneSBpcyB0byBmaWxsIHRoZSByb29tcyB3aXRoIGFwcHJvcHJpYXRlIGNvbGxlY3Rpb24gb2YgcGVvcGxlIHRvIG1pbmltaXplIHRoZSBvdmVyYWxsIHJvb20gY29zdCwgYnV0IGhlIGlzIGZhY2luZyBzb21lIHJlc3RyaWN0aW9ucyB0aGF0IG5vIHR3byBwZW9wbGUgb2YgZGlmZmVyZW50IHNleCB0aGF0IGFyZSBub3QgbWFycmllZCBtYXkgc3RheSBpbiB0aGUgc2FtZSByb29tLCBhbmQgaWYgYSByb29tIGlzIGFzc2lnbmVkIHRvIGEgbWFycmllZCBjb3VwbGUsIG5vIG90aGVyIHBlcnNvbiBtYXkgc3RheSBpbiB0aGF0IHJvb20uIE5vdGUgdGhhdCBpdCBpcyBub3QgbmVjZXNzYXJ5IHRvIHB1dCBhIG1hcnJpZWQgY291cGxlIGluIHRoZSBzYW1lIHJvb20uIEl0IGlzIGFsc28gcG9zc2libGUgdGhhdCB3ZSBkbyBub3QgZmlsbCBhIHJvb20gdG8gaXRzIGNhcGFjaXR5LjxcL3A+XHJcblxyXG48cD5Zb3UgYXJlIHRvIHdyaXRlIGEgcHJvZ3JhbSB0byBoZWxwIFplYmVsIGZpbmQgYSBsZWFzdCBjb3N0IGFzc2lnbm1lbnQgb2YgdGhlIHRvdXIgcGFydGljaXBhbnRzIHRvIHRoZSByZXNlcnZlZCBob3RlbCByb29tcy48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlRoZSBvbmx5IG51bWJlciBpbiB0aGUgZmlyc3QgbGluZSBpcyB0ICwgdGhlIG51bWJlciBvZiB0ZXN0IGNhc2VzIHRoYXQgZm9sbG93LiBUaGUgZmlyc3QgbGluZSBvZiBlYWNoIHRlc3QgY2FzZSBjb250YWlucyBmb3VyIGludGVnZXIgbnVtYmVycywgMSAmbGU7IG0gJmxlOyA1MDAgdGhlIG51bWJlciBvZiBtYWxlIHRvdXIgcGFydGljaXBhbnRzLCAxJm5ic3A7JmxlOyBmICZsZTsgNTAwIHRoZSBudW1iZXIgb2YgZmVtYWxlIHRvdXIgcGFydGljaXBhbnRzLCAxICZsZTsgciAmbGU7IDUwMCB0aGUgbnVtYmVyIG9mIHJvb21zIHJlc2VydmVkIGJ5IFplYmVsLCBhbmQgYyAmZ2U7Jm5ic3A7MCB3aGljaCBpcyB0aGUgbnVtYmVyIG9mIG1hcnJpYWdlIHJlbGF0aW9ucyBiZXR3ZWVuIHRvdXIgcGFydGljaXBhbnRzLiBOb3RlIHRoYXQgcG9seWdhbXkgaXMgbm90IGFsbG93ZWQgaW4gdGhlIHRvdXI7IGkuZS4gZWFjaCBwYXJ0aWNpcGFudCBpcyBlaXRoZXIgc2luZ2xlIG9yIGhhcyBhIHVuaXF1ZSBtYXRlLjxcL3A+XHJcblxyXG48cD5UaGUgZGVzY3JpcHRpb24gb2YgdGhlIHJlc2VydmVkIHJvb21zIGNvbWVzIG9uIHRoZSBmb2xsb3dpbmcgciBsaW5lcy4gRWFjaCBsaW5lIGRlc2NyaWJlcyBhIHJvb20sIGJ5IHR3byBpbnRlZ2VyIG51bWJlcnMgMSAmbGU7IGI8c3ViPmk8XC9zdWI+ICZsZTsgNSAsIGFuZCAxICZsZTsgcDxzdWI+aTxcL3N1Yj4gJmxlOyAxMDAwICwgd2hpY2ggYXJlIHRoZSBjYXBhY2l0eSBhbmQgcHJpY2Ugb2YgdGhpcyByb29tLjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPkZvciBlYWNoIHRlc3QgY2FzZSBpbiB0aGUgaW5wdXQsIG91dHB1dCB0aGUgbWluaW11bSBjb3N0IG9mIGFzc2lnbmluZyB0aGUgcm9vbXMgdG8gdGhlIHRvdXIgcGFydGljaXBhbnRzLiBJZiB0aGlzIGlzIG5vdCBwb3NzaWJsZSwgb3V0cHV0IHRoZSBwaHJhc2UgJnF1b3Q7SW1wb3NzaWJsZSZxdW90OyBpbnN0ZWFkLjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjEiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IkVuZ2xpc2gifV0=