52.78/56.52	unsat
