52.17/52.39	unsat
