check sat close to crit