Text this: Solving SAT Problem by Pseudo-Boolean Optimization Engine