50.58/51.66	unsat
