diff --git a/project_task_sheets/phase_research/Fuzzing SMT solvers via two-dimensional input space exploration.pdf b/project_task_sheets/phase_research/Fuzzing SMT solvers via two-dimensional input space exploration.pdf
new file mode 100644
index 0000000..4d413de
--- /dev/null
+++ b/project_task_sheets/phase_research/Fuzzing SMT solvers via two-dimensional input space exploration.pdf	
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:acbc4a06d4522ad02646641cc6cfc42beb61aa20d267e7a39a41d30e68844116
+size 1200250