#hard-constraint