SAT
101101110100001000111001100110101001010011011111110010111000000100000101000111010110111011011110110101001011000011000111111000001110000100000011011010000100110000000110101100001110010001010110100111101010010001000100011001011000110101100100111101000100001101111101011010101011111011011011100001100111101001110011101000110100011100010010101101111011000000100010000001010100010111010100110110010010111101011000110100111010011010001101000101010010001100101000001111001111010011010100011111010101011101000000001010011111110101000010110110110111101010101011101100111100100111001101101001111001010100010001101100010100011101000000101101111001001001000100001011001111000011111001100000000111011111011110010110110110111110111010110101100100111000011100110101110101101111110010011010001011111001111011000011110011000001100001010111010001110010100100110100001111000000101001011011000110100110010000110010110011101010000111111101110010011011111010110100111001100100101110001110100110100100010110101010010001011011101110101010001100100000110111001111111110110010100101100111010001100011001010000011101100101101011110011110110001111011000110010001011100100100011010110101001001110001101111100001110110110011100010100010100100011010001000111110000001011001001000000010001101101100011110100001001000011101001011000110100000100001100000100000100001010010001011100100010011001001001000001110100100101100010011111010100011000010000100101101000000010011010011010000010011111111111100100101001001001100011111000100010000100010011101101010100010011111110011010101111001011010100011000000111100011011111000010011010010001000001101110010001101000010110010011011101100000111001100110101001100010110010000110100110100100011000011010001010000101111100101001101000110010000010100010001011100000111111111010000011111010110111000100011111101100010011010100000000000001111010111111000110111111001001111110101011101110001110010110111001011111011100100011111110001101000010101011010011101000100010000001011111110111000110100101101111110011100111110111101101010011100001101010100111001111101100010010010110000000100000010100101101100001001001010110111101111001100100000000111100110000110010010000010011000100111101010001000101100001101111101001100100000110010010100011000100010000100110011010100111111101100100110110111011001000111001111100111000001101011011010010111101100001101011100100001100101110000100010101011101110000010001011000001011111101010010100100101001001000110000010011101101111111001001011001100100010000101111011011100000010001010111101110001101011001101101010101010101101011111001011101010100000010001100100000101011100010010001101010000000011110110111011001011110111101001100111000100010111000101011110000101001110101110000010110101110100000111101011011110111101110100101110011010100011000100011101111001100001011010011001110000011101011010011101000101010000001111000101101101001011111111111100000111011101001100101010111001001111000110100010100000111011001111011000010000110111100010110101010110100000011010101010001011110100100100100001101000001100010100110110100111001001001111010000011100101010100000100001100101100011111010000000011011101111001101010111111011010111001100000010110101001100000001100000000000011000000110110110101101101100111110110100101111001110000101110101111101111111011101101011111101011101101010111101001100111001100001011110111001101011000000101001100011000100010010100001011111000001000010100101111011101010101101100111101111111010000100110010001010100101010111011001001000100001001011110010111110000100111111011010110011000111101110011101010010001000100100110011010001100101111010010100110101000100010011100011010101110100011001001100010011101011101101000110010100101001101000010100001110101010010011101011010000101010010110111010100001100110101000101110110011000100011