Add 16.6 - areconstraintssatisfied.go