51.85/53.17	unsat
