Finish impl of solver via finding most constrained point.