51.16/51.83	unsat
