On Solving MAX-SAT Using Sum of Squares - BizPub.ai