51.20/53.04	unsat
