At least it was a problem with a known solution obtainable by a standard procedure in not too many steps. Could've also picked a deceptively simple Diophantine equation where it is unknown whether it even has any solutions or not: https://thehighergeometer.wordpress.com/2021/07/27/diophanti...