Solve[8^x 64^y == 128 && Sqrt[12 y - 7] == x, {x, y}]