solve sin(5 t) + sin(2 t) + sin(t) - sin(7 t) = 0