Biết x, y là nghiệm nguyên dương của phương trình 8y^2 - 2y - 3 = 2x^2 - x^3