Add problem constraint checking; change starting