SAT
10100101000110100111001101010111101111000111101111111010111100010111111100000110001010000100100101010001001110101000100110101111010110000111101001011100100011101110110101111000001110010011011100101011101111111001000011010101011110111000111011100101100100001111000100111000110111001011001011111100111011011100010111101001110101110010011101100100010010111101010111110001111001010010001111000011101101011011110011011101001000110010011111010110011000100001010001001110011100111011001101001001001110101110101100010000100000100011011000010101110110100110101110011011011101010001010001011100010111111001101001101101011001000001011111000100101011100001001011010101000000110010100010110011010000011011000101101100111111110101000101000010100010101001110000100110011010101110001101000100111000000111000111111011111101000100101100100111001110001000100010000100110101100011011111111110111011000100010011110100001010011110011001010011110000000100111000111010101100001001000110101000011110100011111011001010000000000111110011101010110011011011011001000001110011100101100000001110010010001010100110000010010001010011010111101110111100101101100100101111001111100010001101110100111100001110011110101011000000010100001100101011111010111111100111011101100101010110101011111000100010010001100010000110001101010001000100010011010111111010111111111101001010010001110011010001111111010111010011100110111111111000101100000101010001010110101001011111111101100111010011001101001010101100010101001000010100110011001111100010110011010010001000101110010111100010111100100110100010101110100101111101101010001110100011000000010100000101000111101000101111010001001111011001101000110011110110010100011010110010001100011110110010011111100111110100110101110111011110001000011000001011100000101010101001000101111010110010000110000100001011110010011110110001001011011101110101100011010111011011110110000010110010101010111010111000000000011110110011001100101001101111111000111110110001011001111100000100010111001001101001100110110111010001101011000110000011011100001001000101101110111010101010010111111111000111001100100101110100011100100101000110000011000000000000011101001000100100000010111111100010110000010101111110000111011010010010101111000010010000001100001011001110000101101111110000101000100011001011000111010010101011000011111100000010111100011110010011001111001000001111010101110111110011111010000111111101110110101100011011011000110010000011001011000001100000010001101100011110010010100100110110000110011100100001010100101111101111010101001000101110010101001011110111011011001101100110100000111000111010111001101110000010001000011010001111001101001000111011011110101010000110010001010111100010010111111011010110001011101100111101100001101010010010100001010010100100101000000101110110001000110101011111101110101111101001110110010101011010000110000100010011110110011010010111111110111100010001000000011100010001010110011001100100111101100100000101100100011001100010001001100110010000101011101000001111101111110110100001101100100001111100011001011010000110110010111101100100001100101100111011010000110000000000011111000100011011000001011011111010110101110011101000111010001100111110001010100101110001000110000111101000101111001001001010010011101110100011001101001100110111011000010000100010111001010000101101100000010011000100111111110000111011011110001111100100011001110010101011111000101011010100010011001010100000010111011101100111111010100100110001111001110111000000010101100100111001111110010110100110000000110010001100100111101100001011100101101011100111010000000111001010100100010000011011010011011100110000010010011110110101000110110110111111000110001011111101010001000011111111111111000011110111001000110101000111011110000011111011110101001010101011011011010110101111011110100101010110011110101010100011010100001111100011001101011010111101011