50.58/50.68	unsat
