54.08/56.55	unsat
