SAT
110101111110100100111110101011110100000111101111100000110010101011011000011100111101110010010110011000001110001101010010011100111011011011011101101100110000011010100101000110100000011001100000100110010001010010001001110000010001000001100100100100000000101101101101011111101110100100110010100010101010101110100101110101111101111000110001011101011001010100010100111110011000101010111000011001000011001101110101110010001000110011111001001011100100110110101100001000100001111001000011000010010011011010111010110011111110001001100101110011000001101010010000110100011100001111001111010010100110000110010101010001100110000010010011010101000000111010010011011000101011101100101000001000010110110010100010000010010001000011000101111110101000001101011010100010101111101001011000101100110011011000111001100000000110000001010110000100010111101010010001000011111101110101011111100000100110001110001011100110010010101110110101101000110100101110000111110100010110101010010101101111000010011000000101100011101111011011010111111101001100010101000001100111000110000110110100011011100111000011101110011000011110110101011011001100001100101000011000001110011101001101111001100010011100011101000100011101110111000110111000100110110110001010110100011110110000001010010100011010011001000000000011011111110011000001101101111010110001110001101001111000101000111100011011110110000000010110100010011011110101001001000111100111111110011001100000111100011010001111110110001001110000010111111101000010010101110111010011101011111010000010101000101100011110110011111111111011001111010110101100111000111110010011111000010110100000000011011110011111110101011010010011000110111010101101100001000010110001010111100010100110010001010010111000110110100111111001100010001000001111111101100000111110100101101010101100010010101011011001111011111001000001011011110000111000111111001100011011100100110010011000100111100001111001010011010110011000110110011111010001001000101001000110101110001101000110000100100110110001001010100111111111000011010010001100110010101100000000011010110010000101101011111100101000110111001010100001010110100011100110010111101111011100100001111101100100010111110001001001011101000110101110100100000110111000110101111101111110010011100001010010001111011000001010000000110111111011010110111000100100001011110011111100010100110100100100011000010110110100111101010000000110011000011011000100100100111100101101110111000110100110011100100011100111101111101101100110100101010001011100011001101110100010101101101001101001111000000000010110001101111010101100100000001010000111000000000111101100100100110001110110110001100010011101110111000001110110100110111001010000110110000001110101110001100001000011100100011011100010100101001010000011010101010011101100000111011010110000101101011011010011010111010010000100000001100111010000101100100100001001100111100100101011010100100001011010100111111010001010000011110011101111000111011110111010111110100001101100101010111011000111100110000100010110001100000011000011011011110100100001001011011011110011000001011101000111010011100101100110011001100101000001111111100111100001011011110100010111001010100000100001010000000011101000100100011011111111000001101000010010011110100011111110100000000001010101011010110101110100101111010011110010101111001011111000110011110111101011001101010110011011100111010111011000101101100101011000101111100001011001111101000100100110000010111111000011111000000111110111110000100100001000000011100111000100111111111111110111010001110000010101100010001011110110101101110101011100100001110111001110101101001111101111000001101110101001101001111010111001111100111011111111011110011111001111111010111101000111110101000111110010011001101100010100011000011011000100010100000010001100001111011011010110110110010110111100011110000011000001000011110001000111011010111111001000011011111110111010101011111011011000110111100101111110001100010110001010110101010100100011000011011011000110011000010110000001111010111100100110110101101100111000011110000011001001010110100000001000001000001111010001101101110010110010010101010111001011100111100100101000101010101000111010100000010110111010100000010111111111111000001100010010100111010101100001001001001100110100101101111111010110100010000100111001110111010010000001101111100001100111011100100110000110100111001100001111100111111010000011100010010010100100011110110000110101100001000010001011010110100100010011011000000100011100110100100001101001001100101011010000100100011111010000010110011001011001000101101101101110110010011111101111100010101000110101101010100000010010000110000010100001110110111010000011