SNSS Round1
CF upsolving