54.28/56.81	unsat
