54.05/56.69	unsat
