completed matrix (without slack variables)