Showing products in SAT