Satisfying Pool Cleaning Compilation