Hard Number Theory · Challenge problem

Find the sum of the squares of all real numbers $x$ satisfying $x^2 - 7\lfloor x \rfloor + 10 = 0$.