CSAT, atau masalah kepuasan litar, adalah masalah komputasi dalam sains komputer yang memutuskan sama ada litar Boolean akan menghasilkan output TRUE diberi set input.

Sains komputer, istilah elektronik, istilah pengaturcaraan