\.sat