SATResults are now produced through a factory