이론상 하드솔플 가능할까요?