--Car_sequencing--Pseudo Boolean Model--First draft