\documentclass{article}

\usepackage{a4wide}

\title{Solving Sokoban with NuSMV}
\author{Alexander Fedotov(s4460952)\and Mart Lubbers(s4109503)}
\date{\today}
