SAT
101111001101011000001011000111100011101011110100101010010001110101011101010100101000001101000010000110001110100010011101011111111110110101100101110001010101011110001010000010111110011011010111110011010011100000001110010101010011001000111001001100001011100100000100000100000110011110100111101110010000000001101010001100010110111110110110100000010100000011010001000011100100111001001011110110010000010001000000101110001001000110111110010010110001000100000111100101101110101101101111100111100110100011001001111101011000010010000000000100101011110001000101101101100000010011111011101111101011010010011110011111001110000111110111111000011000110000010001110001111011100001110110111010101000101001011001110101000101111110110010110000111111011001101110101101100100100011000100100011001010100100010000100110100001111110101111110010000010010111000011001110010111110011010001110111010111010001100101101101100111001010011010010000010110000110010101101100101110111100100011001011111001110001010000010110010111010110101111010010000011011010011011101010010011111110000101000111001000001010001111011011110101111011110001101010111010001000111010101111001101100100100100111011011100110001101011000010100001100101110010110011110111000010101011110111100001110110110111100001110101101101111110101010100111100101111001010111101000001010100000111010111100111011111001011011100000011010001101110010110101010110100001001001111110010000101110000010111011100001100100111010011110101001111101111101011110111000000000101011000100101010000110110111101010011001111010110101111000111000001101011100110000110010100000010100010100001001010000110111110100101100100000101011000011100110001101111101111110010101011110111001100010110101101011100111100011101010001011010111001010011010110011110001000011110111110000011100011011011010011001110000000110101000000111010110000100100110100010111100001100100111111001001000011100110000011110001100000000010000001001111000000011001000001001101010001101101100000000011111000011011101011100110011010101100101000110011101100001100100011001100111111001001001010000101011101100111001101101000010001100010110100000010100111110000110101110010010010010001111111100110110111010010011111010100000110101100001100111000101100100011010100110000011111100110110110011001010010111000010000011000011111100101010100001000001100111000110111010000000010010111100010100101000110111010011110001010000010101110001101110001100001001010100001000110001101011011110001111111111100110101000010101111000011100111110000100101100111001100011100001001010000000010110000011100000100101101101000010010001111111111101010000101000000000001111110000011011000100001011011101010000001100101101100001000110000000110000110000100100000000100110101100111110010000111111101110000111100100101101110010100100100010110100110001010001010100100101110000001101001011010001011011100000010001101000100000100001101100101001101001100100111111001011000100010101011001110011111110010001100110001101011010111001000111001011101011001100101001110001101000110000000110100101000000110010110110110101001011111101110100011000000010110001111111000100101000000001111111100011100110000100100110101010100100110111111101101110100000010011000011100011101110101001001000110011111010110001011111111001010010111010001001101000110010111011000101101101011111000001010111011001101011110111011111011100010010110111011100001010101011110110111000101011000101111000010001010110011110100110010010011001000000101010000110101100100010110010000100110000010110100111100000000111110110111100111010100001011001110101100110111010001101000110001000110101100101110000001010100000000010010001010000000101111000000011110110010010000010010110110101110100011011001000001000010110001111110010110010101001110101101011100010001011001101010100011010111110110111011110011100111