49.66/51.68	unsat
