SAT
10111100110101100000101100011110001110101111010010101001000111010101110101010010100000110100001000011000111010001001110101111111111011010110010111000101010101111000101000001011111001101101011111001101001110000000111001010101001100100011100100110000101110010000010000010000011001111010011110111001000000000110101000110001011011111011011010000001010000001101000100001110010011100100101111011001000001000100000010111000100100011011111001001011000100010000011110010110111010110110111110011110011010001100100111110101100001001000000000010010101111000100010110110110000001001111101110111110101101001001111001111100111000011111011111100001100011000001000111000111101110000111011011101010100010100101100111010100010111111011001011000011111101100110111010110110010010001100010010001100101010010001000010011010000111111010111111001000001001011100001100111001011111001101000111011101011101000110010110110110011100101001101001000001011000011001010110110010111011110010001100101111100111000101000001011001011101011010111101001000001101101001101110101001001111111000010100011100100000101000111101101111010111101111000110101011101000100011101010111100110110010010010011101101110011000110101100001010000110010111001011001111011100001010101111011110000111011011011110000111010110110111111010101010011110010111100101011110100000101010000011101011110011101111100101101110000001101000110111001011010101011010000100100111111001000010111000001011101110000110010011101001111010100111110111110101111011100000000010101100010010101000011011011110101001100111101011010111100011100000110101110011000011001010000001010001010000100101000011011111010010110010000010101100001110011000110111110111111001010101111011100110001011010110101110011110001110101000101101011100101001101011001111000100001111011111000001110001101101101001100111000000011010100000011101011000010010011010001011110000110010011111100100100001110011000001111000110000000001000000100111100000001100100000100110101000110110110000000001111100001101110101110011001101010110010100011001110110000110010001100110011111100100100101000010101110110011100110110100001000110001011010000001010011111000011010111001001001001000111111110011011011101001001111101010000011010110000110011100010110010001101010011000001111110011011011001100101001011100001000001100001111110010101010000100000110011100011011101000000001001011110001010010100011011101001111000101000001010111000110111000110000100101010000100011000110101101111000111111111110011010100001010111100001110011111000010010110011100110001110000100101000000001011000001110000010010110110100001001000111111111110101000010100000000000111111000001101100010000101101110101000000110010110110000100011000000011000011000010010000000010011010110011111001000011111110111000011110010010110111001010010010001011010011000101000101010010010111000000110100101101000101101110000001000110100010000010000110110010100110100110010011111100101100010001010101100111001111111001000110011000110101101011100100011100101110101100110010100111000110100011000000011010010100000011001011011011010100101111110111010001100000001011000111111100010010100000000111111110001110011000010010011010101010010011011111110110111010000001001100001110001110111010100100100011001111101011000101111111100101001011101000100110100011001011101100010110110101111100000101011101100110101111011101111101110001001011011101110000101010101111011011100010101100010111100001000101011001111010011001001001100100000010101000011010110010001011001000010011000001011010011110000000011111011011110011101010000101100111010110011011101000110100011000100011010110010111000000101010000000001001000101000000010111100000001111011001001000001001011011010111010001101100100000100001011000111111001011001010100111010110101110001000101100110101010001101011111011011101111001110011101110001101000100011111110110000111111