Are Ucs Sat Test Optional