Solving SAT. Parabola. Music and dance!