Removed temporary solution

- Temporary solution in prefSAT