Damn, the solving takes a lot of time.