sat을 다항시간 안에 못 풀고 (sat을 다항시간안에 푸는 알고리즘이 증명 안된 상태)


풀이는 답은 다항시간안에 맞는지 체크 가능한 문제