Added SAT matrix multiplication