52.14/53.88	unsat
