Predict Constraint Solving cs348 un...