On the computational and approximation complexities of selected unit refutations in UTVPI constraint systems | Synapse