solve exception constraints and correctly validate solutions