50.44/51.33	unsat
