an empty solution