picosat already handles this case