Make solver solve stuff