평행육면체
시간 제한2초메모리 제한256 MB
열두 개의 성냥 길이가 주어질 때, 각 길이를 네 개씩 세 그룹으로 나누어 직육면체 뼈대를 만들 수 있는지 판정한다.
문제
"성냥은 아이들 장난감이 아니다"라는 속담과는 달리, 한 소년이 성냥을 가지고 노는 것을 아주 좋아한다. 하지만 성냥으로 장난을 치거나 불을 피우는 게 아니라, 여러 가지 퍼즐을 푼다. 예를 들어 성냥 하나만 옮겨서 숫자 9를 숫자 11과 같게 만들 수 있다.
최근에 이 소년의 부모가 각각 성냥 12개로 이루어진 여러 세트를 사 주었다. 소년은 이 성냥으로 여러 가지 도형을 만들기 시작했다. 이미 많은 도형을 만들었지만, 이제 궁금해졌다. 어떤 세트의 성냥 12개와 접착제로 평행육면체의 뼈대를 붙일 수 있을까? 성냥을 부러뜨릴 수 없고, 어떤 성냥도 뼈대 밖으로 나와서는 안 된다.
여러분의 임무는 각 세트의 성냥 길이가 주어졌을 때, 그 성냥으로 평행육면체의 뼈대를 붙일 수 있는지 확인하는 것이다.
입력
입력은 최대 1000개의 줄로 이루어지며, 각 줄에는 성냥 세트의 설명이 있다. 즉 10^9를 넘지 않는 12개의 양의 정수가 주어진다. 입력은 12개의 0으로 이루어진 줄로 끝나며, 이 요청은 처리하지 않는다.
출력
각 성냥 세트에 대해 평행육면체의 뼈대를 붙일 수 있으면 "yes"를, 그렇지 않으면 "no"를 출력한다.