Cluster categories of formal DG algebras and singularity categories. (8th June 2022)