52.15/52.35	unsat
