LB-PSAT is the weighted version of LB-SAT.