52.02/54.72	unsat
