52.28/52.44	unsat
