FC: UPMurphi plus A*