tcl.sat