SAT
011000100101000011011111110111111101100111010110000100111101101101100110011101100100011000110001001110011001010000011010000001101000001011010011100101111010110011101001000001010010011111111000100111011000000110010100111001011111000100100101000001011010001011111101011011011111001000100111110000000111110100100011100111000110111010101000010101011001111000001100100100111101010011111010110011011001110111110111110001011110001110101011101110110111100000010010101100010111001110101001000001101110010011010010101011010010000101101110011100111100101100101101010111000110001101111100010110000111011010111111001011011000110100110001111111000101001010001000111111000110100110100001001100001101101101000100010001111100100100010010111101100011110011011101101000001110111110001100111101010011011010101011001011010000010011110101010010100001010010111110000111000001001001000111110101011100110001100110011101000001000100000100100111101110000010110101010010001111101010010111110011110101