satisfaction of constraints 346985