Adds system solving with results containing unknowns.