50.73/51.79	unsat
