testing changes to asqtad solver