I would have expected that instead of manually picking a value they would be specified as "don't care". I guess optimizer software like Espresso should allow for that?