54.44/56.33	unsat
