revert SATModelBuilder.java