emptysolvertest