Matrix-SAT