SAT
110101011000100011000101011010111101101001000101101010011001010010001100011000000111011011111111001010001000100011100011000101010010010110100110100110000111000101100101100011000001001111101110100111110000110000100100010111101011111010011111110001000101001101010010111000001111000110011011111100010100101101111010001000110010110110010101010101000000000011101110111000111101111100010011011100011000111100100011110110111010011011010101110000111100011110100101000111010110101000101011111100010100010101101101110011110100111000001010100111000011101001100100111100111100011110110110001110101000011100011101110011000011000000011100001110011110010011001000000100101010001010110000001001100000110001101000110000001111110100111110101011101001011100101110101001011100011011111011011000010010101011100001011101100110100001111001000000010000110010001000011001001010111001011110100101010011111110101001101110100011000001101010100101001111010001000000100011101010110011111101101101100011