use UBCSAT to compute initial solution for Max-SAT problem