SAT
110011111101011110001111111100011011100100011001001000111101101100011110001101000000100010000111000100001100100100001100101111011111111000100111001111101001101100011010010010010110100100001111110110101101100101111110000111111100010101011111101101001000111000101101011000110010101011100111110010011110110100011010101000110011001011000000111111111110101101111010111101110101110100100011010111011101010100100011111001000100100011110011001101010001101000011011011000110100010110010010111101000011010001001001100100001100001000011010001101011000000000011100001110111100011000001110001110111000011010001001110101101110011110110111001011100110001100001000000010100001010001110011000011101100100011010001110101110011101001100001101101101100111110001011001011001110001011000111100011000111011000110010101111111100101000000110001101111011100001011001000011010011011110100110000000110110100100000101110010010001010010000001111100001011000100001110101001100010110000100001010101001100011010101011000100100010100010011100111100101100010010000101101001111011100000000101110001111001001111101001010001010010010000101100000000101011010100010010111111011011110011010111100110111010110100111100100101000011111010010100010011110000111010100001010000110111101100001100001001110001010110000101101001000100110010100011010000011111000000100101111010111000111011010010000010111000100000111000000011011111100011101110101110001010101110001000100010010001000001001111110010000100111011100100000011010011000110111001111110100000100001100111100100010111100001100001010011101010011110101110110100110101111011001000101010100101010000110100000111001110101001100101100010111010110111011111011110010011110000000110011000100011011000110000010001110010011010001100010110101100100111010100110100111101011111000001101001010011101101001001111110010111000001010000010100010000100010110100100110111000110100001010000010100110010110001000000101111011101101000010000000000011110011010100011111011111111101011001000011000011111100110010010000101110011111011100011000001011100111000110101010011100100110000101000010000101100111111010100110101010010011101011100100100011010111011111000011110010000000111010100011110011110110110101011110010011110000001010010100110001001101000001101011110111001010010111111011100111001001101110110111000101110111011111001100010001111101011010111011010110011010101010100101100111010011010010010010010000101100011010001011010001000110100011010110001000100011100110000011001001001001100100110111000100100010110011011000001000000111111110100010111010000000110100011100001100110000011010101011010011101011101100101110100100011111001110100000010000010101100011110011001111110000000000100111001010100111001011110110100100100010001010001000101111111010000101100011111010010001101000011101001001010010001001110000001110001000101001001111111111001111101111111111100111110100001011111001111001001111000110100100000001110100000111001011010000010010111101100001100111010000101111010110101100000010011001111001010001101110000101100000000101111110000101110100011100000001111101100000011111011111110100011111110110111010010100001010111010001010001110011001010001110110100000000000001111111111010101101101111010000111110001000001110101001000010010000010011011010001011110001000001010110101000010111111110011110001110101011111000111010100110010000110001000111101110000011100001110000001010101001000001001001101001101000111101111101011100101100010101001101010010010110110101000000110001011010111110111001100101100011110010000011010011101010100000111001000100001111011110011001111011100110001110011111010010001100001000110011111010111001000010000000000001011001010000000001111010010101110010100110111100101101111111000110110001001010001010101001100010000001111010101011011010110001100111100001110000001100011010111010