52.48/54.76	unsat
