Start of solver