use UBCSAT to compute initial solution for Max-SAT problem (cont'd)