Number of decision variables:
Number of constraints: