53.37/53.82	unsat
