50.73/50.81	unsat
