કદાચ કે સમસ્યા એ ખુલાસો કરવાની અશક્યતા જોવા મળે છે, તેથી અમે સાબિતી પૂર્ણાંક પ્રોગ્રામિંગ સમસ્યા કોઈ ઉકેલ છે કે છે.