52.04/54.58	unsat
