(partial) weighted max-2-sat