Thẻ: SAT introduction