SAT
00101100110011111001110101000111110110000100001001110011111001001010000001111010011110001010100001010100010001000011010011011000011001101110010111001101000010011011100011111100111001101110010111101010100101100001100111000111010011011000111000010010110100111110111101101011111011010101110000100010011010010111000011000011001011110000101101011101000001111100010000010000101111011110010100111101010110111100111100100111110110010100011010101110000000101100101001001110000010100001001111100100011010010110010110011000011000101010011000010000101111010111101000000100111001010111010100000001101110101011011011110000110010101010101001000101010001111110010101011010100001101001010110101011100101100010100111010101101100111010100000000111001111010100010010011110110110110001011000011011110011011110101110011010000001111100101101111110100001111010011100011111000001111100101110101110011110001101101011000111001101111110011101111110101100000011010101000111000000011001101010000100000110010101100000100001111101111001000110011001010000100110111101000110101001011110010000011001100010000110101111110110100101011010011010001011100000110100011100000011011011111111001000010110010011101100010111110111110100001101011100000011010101010100011001111011100110111101000001100011010110010101001011111101010111010000111100100001110110011001000011000110001001111100100110011010100101000100010110101100001101101010010001101100101111111101001000101101010110100000111100011101000000110001000110111100101000001001010111001010001010100010111010010010110101101100101110101010110001011001100110101111100111000100000011101100010101100111011101010011010110110000110100000110110001101110111111101001001000100100110110111101001111010000010111011100100110100111000000111001100000101110100110101111000001111100010111001001111110111011111001001000101101111110111011101000101011111000010100111110010100100011000011001011001011011010101010000111000111010110011110011110100110010001001000000001011101111000011011010100101101100110011100001111010101101011000000010010001110000100000100110111100101100000001011001110100110100111000100100000110001011110101110100111001000101010101110011110100000100011000001101010110001101101100011000010110100110000110100101100011011001110110110011001010000111010101110110111011111100011100001000001011110001111100111100110100100010010000101110101110111100110001001001001110101101110001001101000100000001010100111111100010011001010110001000011111101101001100111011011001000100110010101010011010110011001011001000100010110101011110010110100110001110100110001110001101111110010100110001010110010110001100100010111110111100101111000110010101011100010100011111111110100100101000101000101011100011100101011010000110101100011100011110010011010010100011101011111001101110011000101000100010001110101010011001011100111000010100000100110010010000101110011011011001111000101100111010110001110111110100111101111000111101001111001001100110111100111000110101100000010010100100111000011011001111110011101011101001101010011100001101011100111101010011000011001011111111100110001010100100100001100010101100000000111110101100000101100010100101010100000110101011111011001100001111111110011110001001100110101010101101101000111011000000011110000010010010101010011011100010010010101000101000101011001001000110100001011101011110110001111001111100101001101011101101000010000110000100101010100001000001111110111011101111011111010010100011010011110111010101110110101110111111111100000011010011010101011010101010000000001110101110010111000000010100111010110101111001011010011001111110101111110010110101101111010110111000011001100110011100000110011001101101011101110001010100101011011101000011110010100010111100001111100100111110011110011000010000011010001101000100001000111010110111100000000000000001000101010110000011111110100000100110001110111011000000011011100111100111001101011111100011010000110001101000101111001110010100100111111011010001100010101111101001110110001001010111010011010110000110100100101111100101100100100111010110011101011011110000011111010110111000100001011101001101110100111011111111001100001011110000011110001101101101101011100000001111111111010010100111010110110101001011010011110001111100111010101100000001001001110011111010010000010110000000100101011101101110101111000011011000111101010101001110000100001001000011110010101100100111101110000101000001110000110011101011000010000110000110110111000001111101101010101110001010101101000010011100000100000000110011101001000010110000010010100101001101011010010101100101010000110000101010110100000010001010101111000111101001011010101111100001110011100010111011101010000000000001100000001101101000011011100101001000010011101000101011001011110110000001011001011110110011011000010010100000100101010010011110101110001001101101000110111101111010111010110100100101010001110101011010001101000100000100011101000100011101101111111111111111011110011110101110111001000101001000000011110001011010100110101101111001010011010100110010100011110111010100000010111110100001100010100000101111100010011011010110110100010001011101100010101011001111100010010100011111111010001100001010110000010100111000111111010101110110000000011111001100001001101010000000001011100110111001111011101110000001001011000110100110110001001010000010110110000000011111000001010111000100110100001011001000011110001111100000101010010101100110000110000110010101100001101011011000011100101010100011100001100011110000100100101001110101110001111111001111101000110010111110101001101111001000010101110110100001101011101001011011011100110