STOC24 11 C 2 Semidefinite programming and linear equations vs homomorphism problems