Thẻ đánh dấu: cấu trúc SAT