Title: Controllability don't cares on Boolean sastisfiability for EDA