네 수로 목표 값 만들기

정수 $n_1, n_2, n_3, n_4, n_5$가 주어진다. 다섯 수는 모두 $0 \le n_i \le 100$을 만족한다.

앞의 네 수 $n_1, n_2, n_3, n_4$를 덧셈, 뺄셈, 곱셈, 나눗셈(+, -, *, /)과 괄호로 이어 식 하나를 만든다. 네 수는 각각 정확히 한 번씩 써야 하고, 늘어놓는 순서는 마음대로 정할 수 있다. 나눗셈은 몫을 버리지 않는 정확한 나눗셈이라 계산 도중에 분수가 나와도 되지만, 0으로 나누는 식은 만들 수 없다.

이렇게 만든 식의 값이 $n_5$와 같아지는 경우가 있는지 판정하는 프로그램을 작성하시오.

입력은 데이터 세트 여러 개로 이루어진다. 데이터 세트 하나는 한 줄이고, 공백으로 구분한 수 다섯 개가 들어 있다. -1 하나만 적힌 줄이 나오면 입력이 끝난다.

데이터 세트마다 한 줄을 출력한다. 먼저 입력으로 받은 다섯 수를 공백 하나로 구분해 그대로 적고, 공백을 하나 더 둔 다음 판정 결과를 적는다. 조건을 맞추는 식이 있으면 OK!, 없으면 NO!를 출력한다.