4 ms·

my other question is has anyone ever tried to find this with rational points only