Error

two or more packages specified (python3-pycosat unknown)