\documentclass{article}
\usepackage{a4wide}
+\usepackage{amsmath}
+\usepackage{amssymb}
+\usepackage{listings}
-\title{Solving Sokoban with NuSMV}
-\author{Alexander Fedotov(s4460952)\and Mart Lubbers(s4109503)}
+\lstset{%
+ breaklines,
+ basicstyle=\scriptsize
+}
+
+\title{Solving Sokoban with \textsc{NuSMV}}
+\author{Alexander Fedotov (s4460952)\and Mart Lubbers (s4109503)}
\date{\today}