54.68/56.85	unsat
