Added comment to Picosat