more compact encoding to exclude a found solution