Strategies of Solving SAT Math Problems