Tag: x3-using Gaussian-partial pivot.