Diego and Luke weigh a combined 95 pounds. If Diego weighs 1.5 times as much as Luke does, how much does Luke weigh, in
pounds?