SAT
110111010010110111010010011000101010111110000001101100011110110011000111111111101000001110101100000010101101011011011100100110100001000110011010111101101011001101001000000101101011001100011101100010110111001110110001110000110101111000100001010011100100100010111011001101000100000011011010001110010000110001001000101010111010111110011011111011111010100011000110111000111000111111101100000100111001011101110101000110001011000000100010101110110111111010100000010001010011001010101110100000010110001000000101110001001100101110100100100010100100010000011110100011011111101100001001100011010111010101000010010101011011010001100001101100100010111000101100010110011101100101111011011001010000101011101101110000101001100110100001010110101101110010001010110110111110100010011010010100111100110101111000001001000100111010001010111011111011100010001000001110101110000001101100100100101000110001111110000000010101101001011101010001000000011000110100000110101101101100101001000010111110100010100010000111011100111000110110000000110101011101110100111000000010001110001111010000011110110101001111101010101001011000000010010110000111001100111011011011010111110111011000011110001000110101110101000101100010000100011001110100101101010101101101100101010101111011011001111101001111010001100101001101001011111100000110000011001110000101110001111100101000100010000010101010101011101001010101101111101000010101010110110100010001110000100100101100111100101000111101010000010100101011010010000100101101101111001101110111111101111001011110010001110101000110110010010101010010100110010000111100100110011000110111110001010100110110011101011000011011110000000111110010011111111000010010100110001000101011000110110111001010010001011011111100001011111101100000111011100111111110010100010111100111001010110001100110100111000011111001110100010101111100111110010110001011000010001100011100101111101101011110110110111001011011101011100010001110101101011010100000100001011101011100111010000000010011110110011100111010010000101111000011010011000110111101110001111011100001100111100110001000101100010010000001111100010111111001100100000000010110011001100000110010011011111110111111011010011010011111100011010100001000001100001101011111010100100000000000000010101010111101110110101101101000010001011011101100010110001101111011110011010100101010011101100001111100101110100000111000110010101001111000011111100001000000010000111111100010000001111011000000111001001000000110001101001011100001101011010001101010110001111010110011101101010001011001010111100000100010000000101001101100111111111111011011011111110000011111100001101000101011000000010101011001011101111101001000001011101101000010110100000100100011001110000000111101101101111100001010010010000110001111000010000101000000110100110000110010010110010110101110111011010011011000011000111000001101100101110011000100111001101001111100011110010001000100011001110110110001001101001010101001111100111110100011111111101001010101100010000101000111000100000110000010010001101100100100101110011000001110000100111101111011110010001110110000011101011000111110010101100100001101101001010111110000110000001001111010111100011011110111011111010111110100110111000101001110111101100110001011101011111000111010100111011111011010101111101100100111011110011110111000010100110100001100000101010100100110100010011111011001101011001010110111110001100101001101001111100111000110001111001111000011111100010001000111111011011010101010011011001011100111011110101100100001101001101010111000110000010011001110000001000000011110101001101000001001111110111101101001110110100001000111110101011111010001011100000011110100001111010000001111111111100100000101000010011000100111000000000010101100011111101111111111111111001101100011100101011100110001100010000001001011110000111100010000000001101100001101111101110110100001101010010100000110001111111011101000000010110111111101000101011011001000111100100010110100001101011111101101111110011001110000111001001111000000001001110101010100000011110010000100010110011001011110000001001011101110111011010101010010101100010101110001001011010010010100000000010000000101001100111101100110011011011000110001110000011010011110110010001111000000000101100001110111101110010111111110000010101111001010001110001100101010000001101001011100100010111010010010101001100010000110101000001101111010010010100111101011011001100000001110100111110011000101111111100011101110101111011001110011001010100010000011110001110101000001011110111110100100011101011011110001111010001011001011110101011101011110010101001100100110111001110001001011001110000001010111100110111000100010010010111010