51.66/54.87	unsat
