added test on accuracy of back substitution