solver #143386